3333 search results - page 194 / 667 » New Invariants for Groups |
FOSSACS
2006
Springer
14 years 2 months ago
2006
Springer
We define a new decidable logic for expressing and checking invariants of programs that manipulate dynamically-allocated objects via pointers and destructive pointer updates. The ...
AADEBUG
2005
Springer
14 years 12 days ago
2005
Springer
In a C compiler, function calls are difficult to implement correctly because they must respect a platform-specific calling convention. But they are governed by a simple invariant...
DICTA
2003
13 years 11 months ago
2003
Abstract. Recent efforts in robust estimation of the two-view relation have focused on uncalibrated cameras with no prior knowledge of pose. However, in practice robotic vehicles t...
NIPS
2004
13 years 11 months ago
2004
Visual action recognition is an important problem in computer vision. In this paper, we propose a new method to probabilistically model and recognize actions of articulated object...
MM
2010
ACM
13 years 10 months ago
2010
ACM
Invariant feature descriptors such as SIFT and GLOH have been demonstrated to be very robust for image matching and object recognition. However, such descriptors are typically of ...