Výsledky vyhledávání - logic and constraint programming. keywords and phrases automatische theory*

Logic and Logic Programming.

Autoři: Robinson, J. A.

Zdroj: Communications of the ACM; Mar1992, Vol. 35 Issue 3, p40-65, 22p

Témata: LOGIC programming, PARALLEL programming, LOGICAL positivism, PREDICATE calculus, MATHEMATICAL logic, COMPUTATIONAL intelligence

Understanding poetry using natural language processing tools: a survey.

Autoři: Sisto, Mirella De Hernández-Lorenzo, Laura Rosa, Javier De la a další

Zdroj: Digital Scholarship in the Humanities; Jun2024, Vol. 39 Issue 2, p500-521, 22p

Témata: NATURAL language processing, POETRY (Literary form)

Minimum-Weight Triangulation Is NP-Hard.

Autoři: Mulzer, Wolfgang Rote, Günter

Zdroj: Journal of the ACM; May2008, Vol. 55 Issue 2, p1-29, 29p, 20 Diagrams, 6 Charts

Témata: TRIANGULATION, DYNAMIC programming, PLANE geometry, ANALYTIC geometry of planes, EUCLID'S elements, FOUNDATIONS of geometry, NON-Euclidean geometry, ALGORITHMS

Mining Feature Models from Functional Requirements.

Autoři: MEFTEH, MARIEM BOUASSIDA, NADIA BEN-ABDALLAH, HANÊNE

Zdroj: Computer Journal; Dec2016, Vol. 59 Issue 12, p1784-1804, 21p

Témata: SEMANTIC computing, SOFTWARE engineering, SOFTWARE productivity, COMPUTER software development, SOFTWARE product line engineering

ahoi: Inexpensive, Low-power Communication and Localization for Underwater Sensor Networks and μAUVs.

Autoři: RENNER, BERND-CHRISTIAN HEITMANN, JAN STEINMETZ, FABIAN

Zdroj: ACM Transactions on Sensor Networks; Jan2020, Vol. 16 Issue 2, p1-46, 46p

Témata: SENSOR placement, SENSOR networks, BEACONS, EMERGENCY management, SUBMERSIBLES, MODEMS, WIRELESS localization

Bootstrapping polarity classifiers with rule-based classification.

Autoři: Wiegand, Michael Klenner, Manfred Klakow, Dietrich

Zdroj: Language Resources & Evaluation; Dec2013, Vol. 47 Issue 4, p1049-1088, 40p

Témata: POLARITY (Linguistics), STATISTICAL bootstrapping, RULE-based programming, FEATURE selection, SENTIMENT analysis

THE POSSESSIVE PASSIVE IN PORTUGUESE: A LEXICALIST APPROACH WITH A COMPUTATIONAL IMPLEMENTATION.

Alternate Title: LA PASIVA POSESIVA EN PORTUGUÉS: UN ENFOQUE LEXICALISTA CON UNA IMPLEMENTACIÓN COMPUTACIONAL. (Spanish)
A PASSIVA POSSESSIVA EM PORTUGUÊS: UMA ABORDAGEM LEXICALISTA COM UMA IMPLEMENTAÇÃO COMPUTACIONAL. (Portuguese)

Autoři: Figueiredo de Alencar, Leonel

Zdroj: Fórum Lingüístico; out-dez2018, Vol. 15 Issue 4, p3333-3356, 24p

Data-driven operations management: organisational implications of the digital transformation in industrial practice.

Autoři: Gölzer, Philipp Fritzsche, Albrecht

Zdroj: Production Planning & Control; Dec2017, Vol. 28 Issue 16, p1332-1343, 12p

Témata: OPERATIONS management, BIG data, INFORMATION resources management, DIGITAL technology, ORGANIZATIONAL structure

Automated Detection of Media Bias

Autoři: Timo Spinde

Resource Type: eBook.

Témata: Computer simulation, Application software, Communication, Information theory

Categories: COMPUTERS / Business & Productivity Software / General

Internet of Production

Autoři: Christian Brecher Günther Schuh Wil van der Aalst a další

Resource Type: eBook.

Témata: Production management--Technological innovations, Internet

Categories: TECHNOLOGY & ENGINEERING / Industrial Engineering, BUSINESS & ECONOMICS / Production & Operations Management, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, TECHNOLOGY & ENGINEERING / Materials Science / General

Getting the environmental information across: from the Web to the user.

Autoři: Wanner, Leo Bosch, Harald Bouayad‐Agha, Nadjet a další

Zdroj: Expert Systems; Jun2015, Vol. 32 Issue 3, p405-432, 28p

Témata: ENVIRONMENTAL protection, QUALITY of life, ENVIRONMENTAL sciences, HUMAN ecology

Geografický termín: FINLAND

Automated Deduction – CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings

Autoři: Renate Schmidt

Resource Type: eBook.

Témata: Kongress--2009.--Montre´al, Conference papers and proceedings, Kongress, Montre´al (2009), Automatic theorem proving--Congresses, Logic, Symbolic and mathematical--Congresses, Automatisches Beweisverfahren--Montre´al <2009>, Automatic theorem proving, Logic, Symbolic and mathematical, Automatisches Beweisverfahren

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

SPEAKapp: Language as Digital Biomarker for Mental Health.

Autoři: BARATTIERI DI SAN PIETRO, Chiara SIMONETTI, Valentina BULGHERONI, Maria

Zdroj: Studies in Health Technology & Informatics; 2022, Vol. 294, p937-938, 2p

Mediatisierungslinguistik : Theorie und Fallanalysen zur Kommunikation von Politiker*innen am Beispiel von Twitter

Autoři: Sascha Michel

Resource Type: eBook.

Témata: Language and the Internet, Social media--Political aspects, Communication in politics

Categories: LANGUAGE STUDY / German, ART / Business Aspects, LANGUAGE STUDY / General, LANGUAGE ARTS & DISCIPLINES / General, LANGUAGE ARTS & DISCIPLINES / Communication Studies, LANGUAGE ARTS & DISCIPLINES / Linguistics / General, LANGUAGE ARTS & DISCIPLINES / Library & Information Science / General, PERFORMING ARTS / Television / General, PHILOSOPHY / General, POLITICAL SCIENCE / General, POLITICAL SCIENCE / Civics & Citizenship, POLITICAL SCIENCE / History & Theory, POLITICAL SCIENCE / Public Affairs & Administration, POLITICAL SCIENCE / American Government / State, POLITICAL SCIENCE / Political Economy, POLITICAL SCIENCE / Public Policy / Social Policy, SOCIAL SCIENCE / Sociology / General

How to Relate : Wissen, Künste, Praktiken / Knowledge, Arts, Practices

Autoři: Annika Haas Maximilian Haas Hanna Magauer a další

Resource Type: eBook.

Témata: Interdisciplinary approach to knowledge, Arts and society, Science and the arts, Social sciences

Categories: ART / Criticism & Theory

Arts in Context – Kunst, Forschung, Gesellschaft

Autoři: Thomas Gartmann Christian Pauli

Resource Type: eBook.

Témata: Arts

Categories: ART / Criticism & Theory

An assessment of the technology of automatic speech recognition for military applications.

Autoři: Beek, B. Neuberg, E. Hodge, D.

Zdroj: IEEE Transactions on Acoustics, Speech & Signal Processing; 1977, Vol. 25 Issue 4, p310-322, 13p

Logic-Based Program Synthesis and Transformation

Autoři: Santiago Escobar Laura Titolo

Resource Type: eBook.

Categories: COMPUTERS / Computer Science

Digital Humanities in the India Rim : Contemporary Scholarship in Australia and India

Autoři: Hart Cohen Ujjwal Jana Myra Gurney

Resource Type: eBook.

Témata: Education, Higher--Australia, Digital humanities--Australia--Case studies, Digital humanities--India--Case studies, Digital humanities--Research, Education, Higher--India

Categories: SOCIAL SCIENCE / Cultural & Ethnic Studies / Asian Studies, COMPUTERS / Human-Computer Interaction (HCI), PHILOSOPHY / Ethics & Moral Philosophy, SOCIAL SCIENCE / Media Studies

Automated Deduction -- CADE-24

Autoři: Maria Paola Bonacina

Resource Type: eBook.

Témata: Kongress--2013.--Lake Placid, NY, Conference papers and proceedings, Automatic theorem proving--Congresses, Logic, Symbolic and mathematical--Congresses, Automatic theorem proving, Logic, Symbolic and mathematical, Automatisches Beweisverfahren

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms