Sciweavers

13 search results - page 2 / 3
» Extending uncertainty formalisms to linear constraints and o...
Sort
View
CP
2006
Springer
13 years 9 months ago
Decomposition of Multi-operator Queries on Semiring-Based Graphical Models
Abstract. In the last decades, the Satisfiability and Constraint Satisfaction Problem frameworks were extended to integrate aspects such as uncertainties, partial observabilities, ...
Cédric Pralet, Thomas Schiex, Gérard...
SPATIALCOGNITION
2004
Springer
13 years 10 months ago
Branching Allen
Allen’s interval calculus is one of the most prominent formalisms in the domain of qualitative spatial and temporal reasoning. Applications of this calculus, however, are restric...
Marco Ragni, Stefan Wölfl
INFORMS
1998
150views more  INFORMS 1998»
13 years 5 months ago
Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming
constraint abstractions into integer programming, and to discuss possible combinations of the two approaches. Combinatorial problems are ubiquitous in many real world applications ...
Alexander Bockmayr, Thomas Kasper
IRCDL
2010
13 years 3 months ago
Toward Conversation Retrieval
Social Network Sites can be seen as very large information repositories containing millions of text messages usually organized into complex networks involving users interacting wit...
Matteo Magnani, Danilo Montesi
EAAI
2008
111views more  EAAI 2008»
13 years 5 months ago
Fuzzy conditional temporal problems: Strong and weak consistency
: In real life scenarios there is often the need for modelling conditional plans where external events determgine the actual execution sequence. Conditional Temporal Problems (CTPs...
Marco Falda, Francesca Rossi, Kristen Brent Venabl...