Sciweavers

298 search results - page 8 / 60
» Forgetting and Update -- an exploration
Sort
View
SPIESR
2000
92views Database» more  SPIESR 2000»
13 years 8 months ago
ViBE video database system: an update and further studies
In this paper we extend the shot transition detection component of the ViBE video database system to include gradual scene changes. ViBE Video Indexing and Browsing Environment, a...
Cüneyt M. Taskiran, Charles A. Bouman, Edward...
SAT
2010
Springer
127views Hardware» more  SAT 2010»
13 years 5 months ago
Symmetry and Satisfiability: An Update
Abstract. The past few years have seen significant progress in algorithms and heuristics for both SAT and symmetry detection. Additionally, the thesis that some of SAT's intra...
Hadi Katebi, Karem A. Sakallah, Igor L. Markov
SETN
2004
Springer
14 years 21 days ago
Integrating miniMin-HSP Agents in a Dynamic Simulation Framework
Abstract. In this paper, we describe the framework created for implementing AI-based animations for artificial actors in the context of IVE (Intelligent Virtual Environments). The...
Miguel Lozano, Francisco Grimaldo, Fernando Barber
BMVC
2010
13 years 5 months ago
Histogram of Oriented Cameras - A New Descriptor for Visual SLAM in Dynamic Environments
Simultaneous localization and mapping (SLAM) is a basic prerequisite in autonomous mobile robotics. Most existing visual SLAM approaches either assume a static environment, or sim...
Katrin Pirker
AI
2010
Springer
13 years 7 months ago
Logic-based ontology comparison and module extraction, with an application to DL-Lite
We develop a formal framework for comparing different versions of ontologies, and apply it to ontologies formulated in terms of DL-Lite, a family of `lightweight' description...
Roman Kontchakov, Frank Wolter, Michael Zakharyasc...