4693 search results - page 296 / 939 » Verifying Hybrid Systems |
154
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
The importance of service composition has been widely recognized in the Internet research community due to its high flexibility in allowing development of customized applications....
169
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— We describe a method for an autonomous robot to efficiently locate one or more distinct objects in a realistic environment using monocular vision. We demonstrate how to effic...
185
click to vote
ICMCS
2006
IEEE
16 years 21 days ago
2006
IEEE
In this paper we study the traitor tracing problem, a technique to help combat piracy of copyrighted materials. When a pirated copy of the material is observed, a traitor tracing ...
161
Voted
SKG
2006
IEEE
16 years 20 days ago
2006
IEEE
Agents will adopt different strategies in the multiagent systems. However, the strategies of agents may produce conflicts. While agents coordinate with each other in the operation...
181
click to vote
ERCIMDL
2005
Springer
16 years 6 days ago
2005
Springer
The Alexandria Digital Library (ADL) project has been working on automating the processes of building ADL collections and gathering the collection statistics on which ADL’s disco...