Sciweavers

3031 search results - page 361 / 607
» Model Driven Testing Based on Test History
Sort
View
ICIP
2009
IEEE
16 years 7 months ago
Patch-based Face Recognition From Video
Face recognition from video has been extensively studied in recent years. Intuitively, video provides more information than a single image. But problems such as variation in pose ...
CADE
2008
Springer
16 years 6 months ago
Automated Induction with Constrained Tree Automata
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
Adel Bouhoula, Florent Jacquemard
ICMI
2009
Springer
105views Biometrics» more  ICMI 2009»
16 years 1 months ago
Grounding spatial prepositions for video search
Spatial language video retrieval is an important real-world problem that forms a test bed for evaluating semantic structures for natural language descriptions of motion on natural...
Stefanie Tellex, Deb Roy
ROBOCUP
2007
Springer
140views Robotics» more  ROBOCUP 2007»
16 years 19 days ago
Tailored Real-Time Simulation for Teams of Humanoid Robots
Abstract. Developing and testing the key modules of autonomous humanoid soccer robots (e.g., for vision, localization, and behavior control) in software-in-the-loop (SIL) experimen...
Martin Friedmann, Karen Petersen, Oskar von Stryk
ICPR
2010
IEEE
16 years 4 days ago
Road Sign Detection in Images: A Case Study
Road sign identification in images is an important issue, in particular for vehicle safety applications. It is usually tackled in three stages: detection, recognition and trackin...
Rachid Belaroussi, Philippe Foucher, Jean-Philippe...