640 search results - page 16 / 128 » Discovering State Invariants |
ERSHOV
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. The quest for modular concurrency reasoning has led to recent proposals that extend program assertions to include not just knowledge about the state, but rights to access...
SDM
2007
SIAM
14 years 10 days ago
2007
SIAM
Object recognition and content-based image retrieval systems rely heavily on the accurate and efficient identification of shapes. A fundamental requirement in the shape analysis ...
TMM
2008
13 years 10 months ago
2008
Object recognition and content-based image retrieval systems rely heavily on the accurate and efficient identification of shapes. A fundamental requirement in the shape analysis p...
CVPR
2008
IEEE
15 years 28 days ago
2008
IEEE
Variation due to viewpoint is one of the key challenges that stand in the way of a complete solution to the face recognition problem. It is easy to note that local regions of the ...
EVENT
2001
14 years 9 days ago
2001
Automatically understanding human actions from video sequences is a very challenging problem. This involves the extraction of relevant visual information from a video sequence, re...