5525 search results - page 996 / 1105 » Verification of Model Transformations |
NPAR
2004
ACM
15 years 6 months ago
2004
ACM
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...
124
Voted
AUSAI
2004
Springer
15 years 6 months ago
2004
Springer
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...
CIVR
2004
Springer
15 years 6 months ago
2004
Springer
We describe a multimedia, multilingual and multimodal research system (CIMWOS) supporting content-based indexing, archiving, retrieval and on-demand delivery of audiovisual content...
120
Voted
JELIA
2004
Springer
15 years 6 months ago
2004
Springer
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...
124
click to vote
LPNMR
2004
Springer
15 years 6 months ago
2004
Springer
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...