6212 search results - page 837 / 1243 » Skin-Color Modeling and Adaptation |
142
click to vote
ECRTS
1999
IEEE
15 years 11 months ago
1999
IEEE
Safety-critical systems typically operate in unpredictable environments. Requirements for safety and reliability are in conflict with those for real-time responsiveness. Due to un...
206
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
176
Voted
ICSE
1999
IEEE-ACM
15 years 11 months ago
1999
IEEE-ACM
We address the dependence of critical infrastructures— including electric power, telecommunications, finance and transportation—on vulnerable information systems. Our approach...
231
click to vote
KI
1997
Springer
15 years 11 months ago
1997
Springer
One of the fundamental problems in the eld of mobile robotics is the estimation of the robot's position in the environment. Position probability grids have been proven to be a...
194
click to vote
ATC
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Pervasive computing applications must be sufficiently autonomous to adapt their behaviour to changes in computing resources and user requirements. This capability is know...