Sciweavers

5525 search results - page 996 / 1105
» Verification of Model Transformations
Sort
View
NPAR
2004
ACM
15 years 6 months ago
Rendering cracks in Batik
We present an algorithm for simulating the cracks found in Batik wax painting and dyeing technique used to make images on cloth. The algorithm produces cracks similar to those fou...
Brian Wyvill, Cornelius W. A. M. van Overveld, M. ...
124
Voted
AUSAI
2004
Springer
15 years 6 months ago
Enhanced Importance Sampling: Unscented Auxiliary Particle Filtering for Visual Tracking
Abstract. The particle filter has attracted considerable attention in visual tracking due to its relaxation of the linear and Gaussian restrictions in the state space model. It is...
Chunhua Shen, Anton van den Hengel, Anthony R. Dic...
CIVR
2004
Springer
169views Image Analysis» more  CIVR 2004»
15 years 6 months ago
The CIMWOS Multimedia Indexing System
We describe a multimedia, multilingual and multimodal research system (CIMWOS) supporting content-based indexing, archiving, retrieval and on-demand delivery of audiovisual content...
Harris Papageorgiou, Athanassios Protopapas
120
Voted
JELIA
2004
Springer
15 years 6 months ago
Hierarchical Decision Making by Autonomous Agents
Abstract. Often, decision making involves autonomous agents that are structured in a complex hierarchy, representing e.g. authority. Typically the agents share the same body of kno...
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
LPNMR
2004
Springer
15 years 6 months ago
Towards Automated Integration of Guess and Check Programs in Answer Set Programming
Abstract. Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check...
Thomas Eiter, Axel Polleres