334 search results - page 67 / 67 » Can a Model Checker Generate Tests for Non-Deterministic Sys... |
AROBOTS
2007
13 years 5 months ago
2007
— A central goal of robotics and AI is to be able to deploy an agent to act autonomously in the real world over an extended period of time. To operate in the real world, autonomo...
EDM
2009
13 years 3 months ago
2009
Traditional data mining techniques have been extensively applied to find interesting patterns, build descriptive and predictive models from large volumes of data accumulated throug...
ACMACE
2006
ACM
13 years 11 months ago
2006
ACM
Virtual beings are playing a remarkable role in today’s public entertainment, while ordinary users are still treated as audiences due to the lack of appropriate expertise, equip...
WWW
2008
ACM
14 years 6 months ago
2008
ACM
This paper shares our experience in designing a web crawler that can download billions of pages using a single-server implementation and models its performance. We show that with ...