1992 search results - page 213 / 399 » Model Based Testing with Labelled Transition Systems |
178
Voted
LCPC
1992
Springer
15 years 7 months ago
1992
Springer
The Gamma model is a minimal programming language based on local multiset rewriting (with an elegant chemical reaction metaphor); Hankin et al derived a calculus of Gamma programs...
163
Voted
CVPR
2005
IEEE
16 years 5 months ago
2005
IEEE
This paper presents a method for face recognition across large changes in viewpoint. Our method is based on a Morphable Model of 3D faces that represents face-specific information...
137
Voted
CLEAR
2006
Springer
15 years 7 months ago
2006
Springer
The evaluation results of a system for tracking humans in surveillance videos are presented. Moving blobs are detected based on adaptive background modeling. A shape based multi-vi...
127
Voted
CLEAR
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents the evaluation results of a system for tracking humans in surveillance videos. Moving blobs are detected based on adaptive background modeling. A shape based mu...
122
Voted
COLING
2008
15 years 5 months ago
2008
We propose an approach to natural language inference based on a model of natural logic, which identifies valid inferences by their lexical and syntactic features, without full sem...