3909 search results - page 354 / 782 » Extreme Model Checking |
136
click to vote
ICPR
2002
IEEE
16 years 5 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...
124
click to vote
CALCO
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
148
click to vote
PEWASUN
2006
ACM
15 years 10 months ago
2006
ACM
Mobility, in its various forms, is one of the sources of several technical challenges being addressed in the last years to achieve a more flexible computing and communication inf...
142
click to vote
MM
2004
ACM
15 years 9 months ago
2004
ACM
We present a novel method for interactive retrieval of 3D shapes using physical objects. Our method is based on simple physical 3D interaction with a set of tangible blocks. As th...
139
click to vote
ESEM
2007
ACM
15 years 8 months ago
2007
ACM
Estimation of development effort without imposing overhead on the project and the development team is of paramount importance for any software company. This study proposes a new e...