Sciweavers

859 search results - page 114 / 172
» Abduction in Temporal Reasoning
Sort
View
109
Voted
ATAL
2006
Springer
15 years 4 months ago
On the logic of coalitional games
We develop a logic for representing and reasoning about coalitional games without transferable payoffs. Although a number of logics of cooperation have been proposed over the past...
Thomas Ågotnes, Wiebe van der Hoek, Michael ...
86
Voted
DAGSTUHL
2008
15 years 2 months ago
Constraint Satisfaction Problems with Infinite Templates
Allowing templates with infinite domains greatly expands the range of problems that can be formulated as a non-uniform constraint satisfaction problem. It turns out that many CSPs ...
Manuel Bodirsky
SI3D
2003
ACM
15 years 6 months ago
Interruptible rendering
Interruptible rendering is a novel approach to the fidelity-versusperformance tradeoff ubiquitous in real-time rendering. Interruptible rendering unifies spatial error, caused by ...
Cliff Woolley, David P. Luebke, Benjamin Watson, A...
98
Voted
GEOS
2005
Springer
15 years 6 months ago
A Qualitative Trajectory Calculus and the Composition of Its Relations
Continuously moving objects are prevalent in many domains. Although there have been attempts to combine both spatial and temporal relationships from a reasoning, a database, as wel...
Nico Van de Weghe, Bart Kuijpers, Peter Bogaert, P...
MLDM
2001
Springer
15 years 5 months ago
Learning XML Grammars
0 Temporal Abstractions and Case-Based Reasoning for Medical Course Data: Two Prognostic Applications R. Schmidt and R. Gierl University of Rostock, Germany 9.00-9.30 Local Learnin...
Henning Fernau