Sciweavers

1894 search results - page 252 / 379
» Towards Mobile Reasoning
Sort
View
123
Voted
ICLP
2005
Springer
15 years 9 months ago
Abduction of Linear Arithmetic Constraints
Abduction is usually carried out on partially-defined predicates. In this paper we investigate abduction applied to fully-defined predicates, specifically linear arithmetic cons...
Michael J. Maher
137
Voted
HT
2004
ACM
15 years 9 months ago
Managing conflict in multi-model adaptive hypertext
Adaptive hypermedia has the goal of contextualizing the display of a hypertext to suit the user and their situation. A variety of aspects of the context can influence the appropri...
Luis Francisco-Revilla, Frank M. Shipman III
107
Voted
KR
2004
Springer
15 years 9 months ago
Inferential Complexity Control for Model-Based Abduction
We describe a technique for speeding up inference for model-based abduction tasks that trades off inference time and/or space for the fraction of queries correctly answered. We co...
Gregory M. Provan
155
Voted
ECCV
2010
Springer
15 years 9 months ago
Learning Relations Among Movie Characters: A Social Network Perspective
If you have ever watched movies or television shows, you know how easy it is to tell the good characters from the bad ones. Little, however, is known “whether” or “how” com...
111
Voted
HOTOS
2003
IEEE
15 years 9 months ago
Development Tools for Distributed Applications
The emergence of the global Internet has dramatically broadened and changed the computing landscape. In particular, much of the value in contemporary computing systems derives fro...
Mukesh Agrawal, Srinivasan Seshan