5216 search results - page 630 / 1044 » Planning as Model Checking |
191
click to vote
EDBT
2004
ACM
16 years 6 months ago
2004
ACM
The join operation, which combines tuples from multiple relations, is the most fundamental and, typically, the most expensive operation in database queries. The standard approach t...
224
click to vote
APWEB
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. The term Deep Web (sometimes also called Hidden Web) refers to the data content that is created dynamically as the result of a specific search on the Web. In this respec...
177
click to vote
AAAI
2008
15 years 9 months ago
2008
In several applications of logic programming and Transaction Logic, such as, planning, trust management and independent Semantic Web Services, an action might produce incomplete f...
195
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Persistent Embodied Conversational Agents (ECA) can be used to assist users in their daily activities. We introduce the Health and Fitness Companion (HFC), which is a conversation...
222
click to vote
BXML
2003
15 years 8 months ago
2003
: E-Learning offers the advantage of interactivity: an E-Learning system can adapt the learning materials to suit the learner’s personality and his goals, and it can react to the...