613 search results - page 40 / 123 » The Image Computation Problem in Hybrid Systems Model Checki... |
MFCS
2010
Springer
13 years 6 months ago
2010
Springer
We introduce Transformation Games (TGs), a form of coalitional game in which players are endowed with sets of initial resources, and have capabilities allowing them to derive certa...
3DIM
2003
IEEE
13 years 11 months ago
2003
IEEE
This paper presents a range image refinement technique for generating accurate 3D computer models of real objects. Range images obtained from a stereo-vision system typically expe...
CONCUR
2001
Springer
14 years 4 days ago
2001
Springer
Abstract. In this paper we discuss the role of labels in transition systems with regard to bisimilarity and model checking problems. We suggest a general reduction from labelled tr...
LICS
2003
IEEE
14 years 27 days ago
2003
IEEE
We define the class of micro-macro stack graphs, a new class of graphs modeling infinite-state sequential systems with a decidable model-checking problem. Micro-macro stack grap...
GRAPHICSINTERFACE
2004
13 years 9 months ago
2004
In this paper, a novel hybrid algorithm is presented for the fast construction and high-quality rendering of visual hulls. We combine the strengths of two complementary hardware-a...