1529 search results - page 239 / 306 » An Abstraction Method Using a Semantic Engine Based on Langu... |
ECCV
2002
Springer
14 years 10 months ago
2002
Springer
Abstract. In this work, we introduce a model-based approach to extracting the silhouette of people in motion from stereo video sequences. To this end, we extend a purely stereo-bas...
VMCAI
2010
Springer
14 years 5 months ago
2010
Springer
While temporal verification of programs is a topic with a long history, its traditional basis--semantics based on word languages--is illsuited for modular reasoning about procedura...
MM
2009
ACM
14 years 2 months ago
2009
ACM
Most existing quality metrics do not take the human attention analysis into account. Attention to particular objects or regions is an important attribute of human vision and perce...
EUROPAR
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. To analyze the correctness and the performance of a program, information about the dynamic behavior of all participating processes is needed. The dynamic behavior can be ...
IWMM
2007
Springer
14 years 2 months ago
2007
Springer
This paper presents an analysis and transformation for individual object reclamation in Java programs. First, we propose a uniqueness inference algorithm that identifies variable...