Sciweavers

2917 search results - page 186 / 584
» Satisfying Interaction Constraints
Sort
View
IJCAI
2007
15 years 8 months ago
Combining Topological and Directional Information for Spatial Reasoning
Current research on qualitative spatial representation and reasoning usually focuses on one single aspect of space. However, in real world applications, several aspects are often ...
Sanjiang Li
AAAI
2004
15 years 8 months ago
QUICKXPLAIN: Preferred Explanations and Relaxations for Over-Constrained Problems
Over-constrained problems can have an exponential number of conflicts, which explain the failure, and an exponential number of relaxations, which restore the consistency. A user o...
Ulrich Junker
CVPR
2005
IEEE
16 years 8 months ago
Mercer Kernels for Object Recognition with Local Features
A new class of kernels for object recognition based on local image feature representations are introduced in this paper. These kernels satisfy the Mercer condition and incorporate...
Siwei Lyu
FOSSACS
2010
Springer
16 years 1 months ago
Counting CTL
This paper presents a range of quantitative extensions for the temporal logic CTL. We enhance temporal modalities with the ability to constrain the number of states satisfying cert...
François Laroussinie, Antoine Meyer, Eudes ...
ICASSP
2009
IEEE
16 years 1 months ago
A global optimization framework for meeting summarization
We introduce a model for extractive meeting summarization based on the hypothesis that utterances convey bits of information, or concepts. Using keyphrases as concepts weighted by...
Daniel Gillick, Korbinian Riedhammer, Benoît...