1415 search results - page 170 / 283 » Verified systems by composition from verified components |
145
click to vote
SAC
2004
ACM
15 years 11 months ago
2004
ACM
Field-based coordination is a very promising approach for a wide range of application scenarios in modern dynamic networks. To implement such an approach, one can rely on distribu...
187
click to vote
ICBA
2004
Springer
15 years 11 months ago
2004
Springer
As a reliable approach to human identification, iris recognition has received increasing attention in recent years. In the literature of iris recognition, local feature of image de...
150
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a calibration procedure to determine the kinematic parameters of an active stereo system in a robot-centric frame of reference. Our goal was to obtain a solution of suļ...
178
click to vote
ISPAN
1999
IEEE
15 years 10 months ago
1999
IEEE
For an effective Internet-based distributed parallel computing platform, Java-Internet Computing Environment (JICE) is designed and implemented with multithreading and remote meth...
207
click to vote
AGP
2010
IEEE
15 years 10 months ago
2010
IEEE
We present an overview of the program transformation techniques which have been proposed over the past twenty-ļ¬ve years in the context of logic programming. We consider the appro...