1054 search results - page 146 / 211 » From a Verified Kernel towards Verified Systems |
152
click to vote
TMI
2008
15 years 6 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...
152
click to vote
AEI
2000
15 years 6 months ago
2000
This paper presents a case study that explores the advantages that can be derived from the use of a design support system during the design of wastewater treatment plants (WWTP). ...
293
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
In some applications such as filling in a customer information form on the web, some missing values may not be explicitly represented as such, but instead appear as potentially va...
163
click to vote
IROS
2006
IEEE
16 years 6 days 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 ...
152
click to vote
ISPA
2005
Springer
15 years 11 months ago
2005
Springer
The way conventional Ethernet is used today differs in two aspects from how dedicated system area networks are used. Firstly, dedicated system area networks are lossless and only d...