32 search results - page 3 / 7 » On changing cofinality of partially ordered sets |
ICCV
2003
IEEE
14 years 6 months ago
2003
IEEE
We describe an approach to object and scene retrieval which searches for and localizes all the occurrences of a user outlined object in a video. The object is represented by a set...
CVPR
2010
IEEE
14 years 1 months ago
2010
IEEE
We present a passive computer vision method that exploits existing mapping and navigation databases in order to automatically create 3D building models. Our method defines a gramm...
CDC
2008
IEEE
13 years 6 months ago
2008
IEEE
We identify a class of mechanical systems for which a globally exponentially stable reduced order observer can be designed. The class is characterized by (the solvability of) a set...
IGPL
2008
13 years 4 months ago
2008
A new version of transition logic is presented. It integrates (dynamic) transitions, which change world states, and classical (static) reasoning, restricted in the paper to Horn l...
SLP
1994
13 years 6 months ago
1994
We consider a hierarchy of modal event calculi to represent and reason about partially ordered events. These calculi are based on the model of time and change of Kowalski and Sergo...