Suchergebnisse - "temporal constraint programming"

Temporal constraint programming: A framework for discrete-timed systems

Autoren: Nielsen, Mogens Valencia, Frank D.

Quelle: Nielsen, M & Valencia, F D 2003, ' Temporal constraint programming: A framework for discrete-timed systems ', Association for Logic Programming Newsletter, vol. 15, no. 4 .

Zugangs-URL: https://pure.au.dk/portal/en/publications/b55c6360-f0b2-11df-a891-000ea68e967b

Constraint Programming, Temporal Constraint Programming, and Formal Verification of Computer Software Education

Autoren: Javeriana Cali The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Javeriana Cali The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.labri.fr/perso/mtoro/cv-mtoro.pdf.

Schlagwörter: – Courses, Introduction to computer programming, Data structures, Object-oriented pro

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.301.1387

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.301.1387
http://www.labri.fr/perso/mtoro/cv-mtoro.pdf

Temporal reasoning and constraint programming -- a survey

Autoren: Gennari, Rosella

Schlagwörter: temporal reasoning, Research exposition (monographs, survey articles) pertaining to computer science, temporal constraint programming, General topics in artificial intelligence

Dateibeschreibung: application/xml

Zugangs-URL: https://zbmath.org/1234563

Qualitative Temporal Reasoning Can Improve on Temporal Annotation Quality: How and Why.

Autoren: Gennari, Rosella Vittorini, Pierpaolo

Quelle: Applied Artificial Intelligence; 2016, Vol. 30 Issue 7, p690-719, 30p

Schlagwörter: NATURAL language processing, QUALITATIVE reasoning, INTERNET content, MACHINE learning, SERVICE-oriented architecture (Computer science), PROGRAMMING languages

CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements.

Autoren: Hutchison, David Kanade, Takeo Kittler, Josef et al.

Quelle: Programming Languages & Systems (9783540713142); 2007, p18-32, 15p

Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios.

Autoren: Toro, Mauricio Desainte-Catherine, Myriam Rueda, Camilo

Quelle: Journal of Mathematics & Music. Mar2014, Vol. 8 Issue 1, p93-112. 20p.

Schlagwörter: *SEMANTICS, *INTERACTIVE music, *MUSIC scores, *CONSTRAINT programming, *SYNCHRONIZATION

Automatically generating consistent schedules for multimedia documents.

Autoren: Buchanan, M. Zellweger, Polle

Quelle: Multimedia Systems; Mar1993, Vol. 1 Issue 2, p55-67, 13p

Handbuch der Künstlichen Intelligenz

Autoren: Günther Görz Josef Schneeberger Ute Schmid

Resource Type: eBook.

Schlagworte: Artificial intelligence

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General

Research and Development in Intelligent Systems XXX : Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013, The Thirty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence

Autoren: Max Bramer Miltos Petridis

Resource Type: eBook.

Schlagworte: Data mining--Congresses, Artificial intelligence--Congresses, Artificial intelligence

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Data Science / Data Analytics, MATHEMATICS / Probability & Statistics / General

Advances in Real-Time Systems

Autoren: Samarjit Chakraborty Jörg Eberspächer

Resource Type: eBook.

Schlagworte: Real-time data processing

Categories: TECHNOLOGY & ENGINEERING / Telecommunications, COMPUTERS / Interactive & Multimedia, COMPUTERS / Networking / General

Intelligent Information Integration for the Semantic Web

Autoren: Ubbo Visser

Resource Type: eBook.

Schlagworte: Semantic Web

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Information Technology

Formal and Natural Computing : Essays Dedicated to Grzegorz Rozenberg

Autoren: Wilfried Brauer Hartmut Ehrig Juhani Karhumäki et al.

Resource Type: eBook.

Schlagworte: Computer programming, Computer systems, Computer science, Algorithms, Artificial intelligence—Data processing

Categories: COMPUTERS / Programming / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / Algorithms, COMPUTERS / Hardware / General

Research and Advanced Technology for Digital Libraries : 6th European Conference, ECDL 2002, Rome, Italy, September 16-18, 2002, Proceedings

Autoren: Costantino Thanos

Resource Type: eBook.

Schlagworte: Digital libraries--Congresses, Digital libraries--Europe--Congresses

Categories: LANGUAGE ARTS & DISCIPLINES / Library & Information Science / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, COMPUTERS / System Administration / Storage & Retrieval, COMPUTERS / Interactive & Multimedia