Sciweavers

2317 search results - page 260 / 464
» Model based testing for agent systems
Sort
View
CLEAR
2007
Springer
263views Biometrics» more  CLEAR 2007»
15 years 9 months ago
CLEAR'07 Evaluation of USC Human Tracking System for Surveillance Videos
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...
Bo Wu, Vivek Kumar Singh, C.-H. Kuo, Li Zhang, Sun...
CLEAR
2006
Springer
190views Biometrics» more  CLEAR 2006»
15 years 7 months ago
Evaluation of USC Human Tracking System for Surveillance Videos
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...
Bo Wu, Xuefeng Song, Vivek Kumar Singh, Ram Nevati...
COLING
2008
15 years 4 months ago
Modeling Semantic Containment and Exclusion in Natural Language Inference
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...
Bill MacCartney, Christopher D. Manning
ICLP
2003
Springer
15 years 8 months ago
Concurrency, Time, and Constraints
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
Frank D. Valencia
IVA
2010
Springer
15 years 1 months ago
Interactive Motion Modeling and Parameterization by Direct Demonstration
Abstract. While interactive virtual humans are becoming widely used in education, training and therapeutic applications, building animations which are both realistic and parameteri...
Carlo Camporesi, Yazhou Huang, Marcelo Kallmann