Search Results - Logic and constraint programming. Keywords and phrases automatische theory*

Logic and Logic Programming.

Authors: Robinson, J. A.

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

Subject Terms: LOGIC programming, PARALLEL programming, LOGICAL positivism, PREDICATE calculus, MATHEMATICAL logic, COMPUTATIONAL intelligence

Understanding poetry using natural language processing tools: a survey.

Authors: Sisto, Mirella De Hernández-Lorenzo, Laura Rosa, Javier De la et al.

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

Subject Terms: NATURAL language processing, POETRY (Literary form)

Minimum-Weight Triangulation Is NP-Hard.

Authors: Mulzer, Wolfgang Rote, Günter

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

Subject Terms: 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.

Authors: MEFTEH, MARIEM BOUASSIDA, NADIA BEN-ABDALLAH, HANÊNE

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

Subject Terms: 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.

Authors: RENNER, BERND-CHRISTIAN HEITMANN, JAN STEINMETZ, FABIAN

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

Subject Terms: SENSOR placement, SENSOR networks, BEACONS, EMERGENCY management, SUBMERSIBLES, MODEMS, WIRELESS localization

Bootstrapping polarity classifiers with rule-based classification.

Authors: Wiegand, Michael Klenner, Manfred Klakow, Dietrich

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

Subject Terms: 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)

Authors: Figueiredo de Alencar, Leonel

Source: 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.

Authors: Gölzer, Philipp Fritzsche, Albrecht

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

Subject Terms: OPERATIONS management, BIG data, INFORMATION resources management, DIGITAL technology, ORGANIZATIONAL structure

Automated Detection of Media Bias

Authors: Timo Spinde

Resource Type: eBook.

Subjects: Computer simulation, Application software, Communication, Information theory

Categories: COMPUTERS / Business & Productivity Software / General

Internet of Production

Authors: Christian Brecher Günther Schuh Wil van der Aalst et al.

Resource Type: eBook.

Subjects: 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.

Authors: Wanner, Leo Bosch, Harald Bouayad‐Agha, Nadjet et al.

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

Subject Terms: ENVIRONMENTAL protection, QUALITY of life, ENVIRONMENTAL sciences, HUMAN ecology

Geographic Terms: FINLAND

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

Authors: Renate Schmidt

Resource Type: eBook.

Subjects: 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.

Authors: BARATTIERI DI SAN PIETRO, Chiara SIMONETTI, Valentina BULGHERONI, Maria

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

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

Authors: Sascha Michel

Resource Type: eBook.

Subjects: 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

Authors: Annika Haas Maximilian Haas Hanna Magauer et al.

Resource Type: eBook.

Subjects: Interdisciplinary approach to knowledge, Arts and society, Science and the arts, Social sciences

Categories: ART / Criticism & Theory

Arts in Context – Kunst, Forschung, Gesellschaft

Authors: Thomas Gartmann Christian Pauli

Resource Type: eBook.

Subjects: Arts

Categories: ART / Criticism & Theory

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

Authors: Beek, B. Neuberg, E. Hodge, D.

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

Logic-Based Program Synthesis and Transformation

Authors: Santiago Escobar Laura Titolo

Resource Type: eBook.

Categories: COMPUTERS / Computer Science

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

Authors: Hart Cohen Ujjwal Jana Myra Gurney

Resource Type: eBook.

Subjects: 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

Authors: Maria Paola Bonacina

Resource Type: eBook.

Subjects: 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