10159 search results - page 1741 / 2032 » System Design Validation Using Formal Models |
185
click to vote
ROBOCUP
2005
Springer
16 years 5 days ago
2005
Springer
Gaze direction determination of opponents and teammates is a very important ability for any soccer player, human or robot. However, this ability is still not developed in any of th...
200
click to vote
ICADL
2004
Springer
16 years 2 days ago
2004
Springer
This paper presents our implementation techniques for an intelligent Web image search engine. A reference architecture of the system is provided and addressed in this paper. The s...
168
Voted
HPDC
1998
IEEE
15 years 11 months ago
1998
IEEE
One of the most difficult problems to be solved by metacomputing systems is to ensure strong authentication and authorization. The problem is complicated since the hosts involved ...
196
click to vote
CIDR
2009
15 years 7 months ago
2009
We present the design and development of a data stream system that captures data uncertainty from data collection to query processing to final result generation. Our system focuse...
207
click to vote
AINA
2009
IEEE
16 years 1 months ago
2009
IEEE
Over the last few years, target tracking in wireless sensor networks has become a topic of particular interest. This paper presents a tracking system intended for deployment in di...