4460 search results - page 244 / 892 » Formal methods for interactive systems |
152
click to vote
VMV
2004
15 years 6 months ago
2004
We present a system for the interactive navigation through high-resolution cylindrical panoramas. The system is based on MPEG-4 and describes the virtual world by the scene descri...
139
click to vote
SASO
2008
IEEE
15 years 11 months ago
2008
IEEE
Motivated by the natural phenomenon of living cells selforganizing into specific shapes and structures, we present an emergent system that utilizes evolutionary computing methods...
145
Voted
ICPR
2002
IEEE
16 years 6 months ago
2002
IEEE
Accurate and robust tracking of humans is of growing interest in the image processing and computer vision communities. The ability of a vision system to track the subjects and acc...
204
click to vote
FMCO
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Atomicity Decomposition is a technique in the Event-B formal method, which augments Event-B refinement with additional structuring in a diagrammatic notation to support c...
149
Voted
ACIVS
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we present an interactive, object-based video retrieval system which features a novel query formulation method that is used to iteratively refine an underlying model...