Sciweavers

114 search results - page 6 / 23
» Exploring Multi-Level Modeling Relations Using Variability M...
Sort
View
ICVS
2001
Springer
13 years 11 months ago
A Stereo Vision System for Support of Planetary Surface Exploration
In this paper a system will be presented that was developed for ESA for the support of planetary exploration. The system that is sent to the planetary surface consists of a rover a...
Maarten Vergauwen, Marc Pollefeys, Luc J. Van Gool
CORR
2010
Springer
208views Education» more  CORR 2010»
13 years 6 months ago
Bounded Model Checking of Multi-threaded Software using SMT solvers
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
Lucas Cordeiro, Bernd Fischer 0002
WSC
2007
13 years 9 months ago
Clinic: correlated inputs in an automotive paint shop fire risk simulation
General Motors (GM) has developed a first proof-ofconcept simulation model to explore impacts of various fire events in automotive paint shop operations. The approach uses a chron...
Debra A. Elkins, A. Christine LaFleur, Earnest Fos...
AUSAI
2008
Springer
13 years 8 months ago
Learning Object Representations Using Sequential Patterns
This paper explores the use of alternating sequential patterns of local features and saccading actions to learn robust and compact object representations. The temporal encoding rep...
Nobuyuki Morioka
ICRA
2002
IEEE
136views Robotics» more  ICRA 2002»
13 years 11 months ago
Motion Dynamics of a Rover with Slip-Based Traction Model
This paper investigates kinetic behavior of a planetary rover with attention to tire-soil traction mechanics and articulated body dynamics, and thereby study the control when the ...
Kazuya Yoshida, Hiroshida Hamano