Search Results

Action recognition and understanding through motor primitives.

• Authors : Vicente, Isabel Serrano; Kyrki, Ville; Kragic, Danica

Subjects: ROBOTICS; ROBOTS; MACHINE theory

• Source: Advanced Robotics; 2007, Vol. 21 Issue 15, p1687-1707, 21p, 1 Black and White Photograph, 7 Diagrams, 5 Charts, 2 Graphs

Record details

Rewriting Logic and Its Applications : 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers

• Authors : Kazuhiro Ogata; Narciso Martí-Oliet

Subjects: Software engineering; Computer science; Machine theoryCOMPUTERS / Software Development & Engineering / General; COMPUTERS / Computer Science; COMPUTERS / Hardware / General

Record details

The Semantic Web – ISWC 2019 : 18th International Semantic Web Conference, Auckland, New Zealand, October 26–30, 2019, Proceedings, Part II

• Authors : Chiara Ghidini; Olaf Hartig; Maria Maleshkova

Subjects: Database management; Artificial intelligence; Application softwareCOMPUTERS / Database Administration & Management; COMPUTERS / Artificial Intelligence / General; COMPUTERS / Business & Productivity Software / General

Record details

Modeling Decisions for Artificial Intelligence : 15th International Conference, MDAI 2018, Mallorca, Spain, October 15–18, 2018, Proceedings

• Authors : Vicenç Torra; Yasuo Narukawa; Isabel Aguiló

Subjects: Artificial intelligence; Data mining; Machine theoryCOMPUTERS / Artificial Intelligence / General; COMPUTERS / Computer Science; COMPUTERS / Data Science / Data Analytics

Record details

Runtime Verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

• Authors : Christian Colombo; Martin Leucker

Subjects: Software engineering; Compilers (Computer programs); Electronic digital computers—EvaluationCOMPUTERS / Software Development & Engineering / General; BUSINESS & ECONOMICS / Careers / General; COMPUTERS / General

Record details

Concrete Semantics : With Isabelle/HOL

• Authors : Tobias Nipkow; Gerwin Klein

Subjects: Computer science; Compilers (Computer programs); Machine theoryCOMPUTERS / Computer Science; COMPUTERS / Programming / Compilers

Record details

Software, Services, and Systems : Essays Dedicated to Martin Wirsing on the Occasion of His Retirement From the Chair of Programming and Software Engineering

• Authors : Rocco De Nicola; Rolf Hennicker

Subjects: Software engineering; Computer science; Compilers (Computer programs)COMPUTERS / Software Development & Engineering / General; COMPUTERS / Artificial Intelligence / General; COMPUTERS / Programming / Compilers

Record details

Language and Automata Theory and Applications : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings

• Authors : Adrian-Horia Dediu; Jan Janoušek; Carlos Martín-Vide

Subjects: Artificial intelligence; Computer science; Machine theoryCOMPUTERS / Artificial Intelligence / General; COMPUTERS / Computer Science; COMPUTERS / Programming / Algorithms

Record details

Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

• Authors : Martin Davis; Ansgar Fehnker; Annabelle McIver

Subjects: Software engineering; Artificial intelligence; Computer scienceCOMPUTERS / Software Development & Engineering / General; COMPUTERS / Artificial Intelligence / General; COMPUTERS / Programming / Compilers

Record details

Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings

• Authors : Martin Leucker; Camilo Rueda; Frank D. Valencia

Subjects: Computer science; Compilers (Computer programs); Computer science—MathematicsCOMPUTERS / Computer Science; COMPUTERS / Programming / Compilers; COMPUTERS / Software Development & Engineering / General

Record details