3441 search results - page 659 / 689 » Knowledge Representation for Video |
158
Voted
ATAL
2009
Springer
16 years 22 days ago
2009
Springer
ion in model checking multi-agent systems Mika Cohen Department of Computing Imperial College London London, UK Mads Dam Access Linnaeus Center Royal Institute of Technology Stockh...
164
Voted
ECSQARU
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. This paper presents a method which allows for merging beliefs expressed thanks to logic programming with stable model semantics. This method is based on the syntactic mer...
180
Voted
SEMWEB
2009
Springer
16 years 21 days ago
2009
Springer
The Virtual Solar-Terrestrial Observatory (VSTO) is a distributed, scalable education and research environment for searching, integrating, and analyzing observational, experimental...
149
Voted
KCAP
2009
ACM
16 years 20 days ago
2009
ACM
This demo presents the Cupboard online system for sharing and reusing ontologies linked together with alignments, and that are attached to rich metadata and reviews. Categories an...
162
Voted
ECRTS
2008
IEEE
16 years 19 days ago
2008
IEEE
Embedded services and applications that interact with the real world often, over time, need to run on different kinds of hardware (low-cost microcontrollers to powerful multicore ...