8031 search results - page 1317 / 1607 » Knowledge and Workflow Systems |
137
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
— Autonomous systems situated in the real world often need to recognize, track, and reason about various types of physical objects. In order to allow reasoning at a symbolic leve...
163
click to vote
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. We consider a formalisation of a notion of observer (or intruder) theories, commonly used in symbolic analysis of security protocols. An observer theory describes the kno...
122
click to vote
AIED
2009
Springer
15 years 11 months ago
2009
Springer
Comprehension of science texts is challenging, particularly when the reader lacks the skills or knowledge necessary to fill in conceptual gaps in the text content. The iSTART syste...
146
click to vote
WEBDB
2009
Springer
15 years 11 months ago
2009
Springer
Online reviews are an important asset for users deciding to buy a product, see a movie, or go to a restaurant, as well as for businesses tracking user feedback. However, most revi...
147
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
In hedonic games, players have the opportunity to form coalitions, and have preferences over the coalitions they might join. Such games can be used to model a variety of settings ...