Sciweavers

3031 search results - page 361 / 607
» Model Driven Testing Based on Test History
Sort
View
130
Voted
ICIP
2009
IEEE
16 years 4 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 ...
143
Voted
CADE
2008
Springer
16 years 4 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»
15 years 10 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»
15 years 10 months 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
155
Voted
ICPR
2010
IEEE
15 years 9 months 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...