Sciweavers

2523 search results - page 327 / 505
» Correct Development of Embedded Systems
Sort
View
PSIVT
2007
Springer
238views Multimedia» more  PSIVT 2007»
15 years 8 months ago
3D Reconstruction of a Human Body from Multiple Viewpoints
Abstract. A human body measurement system using multiple viewpoints is proposed. Whole human body data taken from systems, which have been developed with a few viewpoints, have not...
Koichiro Yamauchi, Hideto Kameshima, Hideo Saito, ...
FM
2005
Springer
112views Formal Methods» more  FM 2005»
15 years 7 months ago
Dynamic Component Substitutability Analysis
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...
SIGIR
2004
ACM
15 years 7 months ago
Answer models for question answering passage retrieval
Answer patterns have been shown to improve the performance of open-domain factoid QA systems. Their use, however, requires either constructing the patterns manually or developing ...
Andrés Corrada-Emmanuel, W. Bruce Croft
97
Voted
ROBOCUP
2004
Springer
158views Robotics» more  ROBOCUP 2004»
15 years 7 months ago
Plug and Play: Fast Automatic Geometry and Color Calibration for Cameras Tracking Robots
We have developed an automatic calibration method for a global camera system. Firstly, we show how to define automatically the color maps we use for tracking the robots’ markers...
Anna Egorova, Mark Simon, Fabian Wiesel, Alexander...
ICRA
2002
IEEE
90views Robotics» more  ICRA 2002»
15 years 7 months ago
Distributed Goal Recognition Algorithms for Modular Robots
Modular robots are systems composed of a number of independent units that can be reconfigured to fit the task at hand. When the modules are computationally independent, they for...
Zack J. Butler, Robert Fitch, Daniela Rus, Yuhang ...