Sciweavers

2150 search results - page 70 / 430
» On a restricted cross-intersection problem
Sort
View
SIGDIAL
2010
15 years 2 months ago
Representing Uncertainty about Complex User Goals in Statistical Dialogue Systems
We point out several problems in scalingup statistical approaches to spoken dialogue systems to enable them to deal with complex but natural user goals, such as disjunctive and ne...
Paul A. Crook, Oliver Lemon
AAAI
1990
15 years 5 months ago
Practical Temporal Projection
Temporal projection-predicting future states of a changing world-has been studied mainly as a formal problem. Researchers have been concerned with getting the concepts of causalit...
Steve Hanks
JSAT
2006
126views more  JSAT 2006»
15 years 4 months ago
Complexity Results for Quantified Boolean Formulae Based on Complete Propositional Languages
Several propositional fragments have been considered so far as target languages for knowledge compilation and used for improving computational tasks from major AI areas (like infe...
Sylvie Coste-Marquis, Daniel Le Berre, Florian Let...
IWOCA
2010
Springer
223views Algorithms» more  IWOCA 2010»
14 years 11 months ago
Parameterized Algorithms for the Independent Set Problem in Some Hereditary Graph Classes
The maximum independent set problem is NP-complete for graphs in general, but becomes solvable in polynomial time when restricted to graphs in many special classes. The problem is ...
Konrad Dabrowski, Vadim V. Lozin, Haiko Mülle...
MST
2010
140views more  MST 2010»
15 years 2 months ago
Approximability of Clausal Constraints
We study a family of problems, called Maximum Solution (Max Sol), where the objective is to maximise a linear goal function over the feasible integer assignments to a set of variab...
Peter Jonsson, Gustav Nordh