2287 search results - page 10 / 458 » Making it Real |
SPIN
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...
ACL
2007
13 years 9 months ago
2007
Human categorization is neither a binary nor a context-free process. Rather, some concepts are better examples of a category than others, while the criteria for category membershi...
AAAI
2004
13 years 9 months ago
2004
In recent years, we have witnessed the success of autonomous agents applying machine learning techniques across a wide range of applications. However, agents applying the same mac...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract— The need for efficient monitoring of spatiotemporal dynamics in large environmental surveillance applications motivates the use of robotic sensors to achieve sufficie...
ICDE
2011
IEEE
12 years 11 months ago
2011
IEEE
— SQL is a classical and powerful tool for querying relational databases. However, it is rather hard for inexperienced users to pose SQL queries, as they are required to be pro...