Suchergebnisse - Logic and constraint programming. Keywords and phrases automatische theory

Logic and Logic Programming.

Autoren: Robinson, J. A.

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

Schlagwörter: LOGIC programming, PARALLEL programming, LOGICAL positivism, PREDICATE calculus, MATHEMATICAL logic, COMPUTATIONAL intelligence

Understanding poetry using natural language processing tools: a survey.

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

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

Schlagwörter: NATURAL language processing, POETRY (Literary form)

Minimum-Weight Triangulation Is NP-Hard.

Autoren: Mulzer, Wolfgang Rote, Günter

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

Schlagwörter: 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.

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

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

Schlagwörter: 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.

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

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

Schlagwörter: SENSOR placement, SENSOR networks, BEACONS, EMERGENCY management, SUBMERSIBLES, MODEMS, WIRELESS localization

Bootstrapping polarity classifiers with rule-based classification.

Autoren: Wiegand, Michael Klenner, Manfred Klakow, Dietrich

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

Schlagwörter: 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)

Autoren: Figueiredo de Alencar, Leonel

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

Autoren: Gölzer, Philipp Fritzsche, Albrecht

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

Schlagwörter: OPERATIONS management, BIG data, INFORMATION resources management, DIGITAL technology, ORGANIZATIONAL structure

Automated Detection of Media Bias

Autoren: Timo Spinde

Resource Type: eBook.

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

Categories: COMPUTERS / Business & Productivity Software / General

Internet of Production

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

Resource Type: eBook.

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

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

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

Schlagwörter: ENVIRONMENTAL protection, QUALITY of life, ENVIRONMENTAL sciences, HUMAN ecology

Geografische Kategorien: FINLAND

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

Autoren: Renate Schmidt

Resource Type: eBook.

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

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

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

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

Autoren: Sascha Michel

Resource Type: eBook.

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

Autoren: Annika Haas Maximilian Haas Hanna Magauer et al.

Resource Type: eBook.

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

Categories: ART / Criticism & Theory

Arts in Context – Kunst, Forschung, Gesellschaft

Autoren: Thomas Gartmann Christian Pauli

Resource Type: eBook.

Schlagworte: Arts

Categories: ART / Criticism & Theory

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

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

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

Logic-Based Program Synthesis and Transformation

Autoren: Santiago Escobar Laura Titolo

Resource Type: eBook.

Categories: COMPUTERS / Computer Science

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

Autoren: Hart Cohen Ujjwal Jana Myra Gurney

Resource Type: eBook.

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

Verified Software: Theories, Tools and Experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Autoren: Dimitra Giannakopoulou Daniel Kroening

Resource Type: eBook.

Schlagworte: Software engineering, Computer science, Compilers (Computer programs), Computer programming, Machine theory, Artificial intelligence

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