2935 search results - page 132 / 587 » An Integrated Approach to High Integrity Software Verificati... |
118
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
— Robotics applications based on computer vision algorithms are highly constrained to indoor environments where conditions may be controlled. The development of robust visual alg...
133
click to vote
CSB
2005
IEEE
15 years 10 months ago
2005
IEEE
The Mouse Genome Informatics (MGI) Database at The Jackson Laboratory provides a comprehensive public resource about the laboratory mouse. MGI curated data types include gene repr...
144
click to vote
GI
2009
Springer
15 years 2 months ago
2009
Springer
: The integration and usage of uncertain sensor data in workflows is a difficult problem. In this paper we describe these difficulties which result from the combination of very dis...
142
click to vote
CAD
2002
Springer
15 years 4 months ago
2002
Springer
Many engineering design applications require geometric modeling and mechanical simulation of thin flexible structures, such as those found in the automotive and aerospace industri...
133
click to vote
IEAAIE
2003
Springer
15 years 10 months ago
2003
Springer
Integration of heterogeneous statistics is essential for political decision making on all levels. Like in intelligent information integration in general, the problem is to combine ...