306 search results - page 6 / 62 » Do you Queue |
AMTA
2000
Springer
13 years 11 months ago
2000
Springer
ETRICS
2006
13 years 11 months ago
2006
Recommender systems are widely used to help deal with the problem of information overload. However, recommenders raise serious privacy and security issues. The personal information...
FMCAD
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. In this paper we describe the formal specification and verification of the efficient algorithm for real-time model checking implemented in the model checker RAVEN. It was...
ACMIDC
2010
13 years 9 months ago
2010
Pleo is one of the more advanced interactive toys currently available for the home market, taking the form of a robotic dinosaur. We present an exploratory study of how it was int...
AGI
2008
13 years 9 months ago
2008
Many problems in AI study can be traced back to the confusion of different research goals. In this paper, five typical ways to define AI are clarified, analyzed, and compared. It i...