319 search results - page 20 / 64 » Improved Model Checking of Hierarchical Systems |
ICCS
2009
Springer
14 years 4 months ago
2009
Springer
Irregular and sparse scientific computing programs frequently experience performance losses due to inefficient use of the memory system in most machines. Previous work has shown t...
PERVASIVE
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. Activity inference based on object use has received considerable recent attention. Such inference requires statistical models that map activities to the objects used in p...
CVPR
2010
IEEE
14 years 6 months ago
2010
IEEE
We present a framework that retains ambiguity in feature matching to increase the performance of 3D object recognition systems. Whereas previous systems removed ambiguous correspo...
IJRR
2007
13 years 9 months ago
2007
Learning patterns of human behavior from sensor data is extremely important for high-level activity inference. We show how to extract a person’s activities and significant plac...
ACL
2006
13 years 11 months ago
2006
We present a hierarchical phrase-based statistical machine translation in which a target sentence is efficiently generated in left-to-right order. The model is a class of synchron...