2473 search results - page 314 / 495 » Systems, Views and Models of UML |
174
Voted
ATVA
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
205
Voted
CIVR
2004
Springer
16 years 13 days ago
2004
Springer
In this paper we investigate the retrieval of semantic events that occur in broadcast sports footage. We do so by considering the spatio-temporal behaviour of an object in the foot...
215
Voted
DICTA
2007
15 years 8 months ago
2007
The large shape variability and partial occlusions challenge most object detection and tracking methods for nonrigid targets such as pedestrians. Single camera tracking is limited...
240
Voted
VG
2001
15 years 8 months ago
2001
We present an image-based rendering technique to accelerate surfaces rendering from volume data. We cache the fully volume rendered image (called keyview) and use it to generate n...
204
Voted
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...