1222 search results - page 174 / 245 » Verifying a File System Implementation |
102
click to vote
ENVSOFT
2006
15 years 2 months ago
2006
This paper presents an approach that integrates a legacy component into a software system for storm sewer simulation. The legacy component employed here is the Storm Water Managem...
124
click to vote
IVC
2008
15 years 2 months ago
2008
In the US and many other countries, bank checks are preprinted with the account number and the check number in MICR ink and format; as such, these two numeric fields can be easily...
117
Voted
TMI
2008
15 years 2 months ago
2008
We describe the application of a time domain diffuse fluorescence tomography system for whole body small animal imaging. The key features of the system are the use of point excitat...
123
Voted
IROS
2006
IEEE
15 years 8 months ago
2006
IEEE
This work is about the relevance of Gibson’s concept of affordances [1] for visual perception in interactive and autonomous robotic systems. In extension to existing functional ...
106
Voted
ICRA
2009
IEEE
15 years 9 months ago
2009
IEEE
—Collision safety between humans and robots has drawn much attention since service robots are increasingly being used in human environments. A safe robot arm based on passive com...