553 search results - page 21 / 111 » Learning Meets Verification |
TIM
2010
13 years 4 months ago
2010
Abstract--Palmprint is a unique and reliable biometric characteristic with high usability. With the increasing demand of highly accurate and robust palmprint authentication system,...
HICSS
2000
IEEE
14 years 2 months ago
2000
IEEE
We have extensive experience with distributed facilitation of synchronous virtual meetings since 1992. More recently, we have gained experience in asynchronous virtual meetings an...
HASE
2008
IEEE
13 years 10 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
ECAI
2008
Springer
13 years 11 months ago
2008
Springer
Abstract-- Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and m...
AISS
2010
13 years 7 months ago
2010
A successful IT Company is characterized by its ability to put the right information in front of the right decision-makers at the right time while concerns about security issues. ...