9067 search results - page 1679 / 1814 » Adaptive Model Checking |
163
click to vote
ICAI
2004
15 years 7 months ago
2004
Robots possess many effectors and sensors of various capability. It is often difficult, not only to integrate these numerous capabilities, but also to organize them to accomplish ...
175
click to vote
ICINCO
2004
15 years 7 months ago
2004
: The automation manufacturing business has reached its turning point and manufacturers are forced to create new business areas. Their expertise about field devices will be the sou...
169
click to vote
BIOSIG
2003
15 years 7 months ago
2003
: In this paper we propose a multifactor biometric sketch authentication method based on biometric sketch recognition and a user’s personal knowledge about the sketch‘s content...
165
click to vote
IKE
2004
15 years 7 months ago
2004
Increased concern about bioterrorism and emerging diseases is driving the development of systems for early epidemic detection. These systems have different requirements than tradit...
161
click to vote
MASCOTS
2004
15 years 7 months ago
2004
A number of new network storage architectures have emerged recently that provide shared, adaptable and high-performance storage systems for dataintensive applications. Three commo...