4513 search results - page 743 / 903 » Logic programming with satisfiability |
132
Voted
CP
2010
Springer
15 years 1 months ago
2010
Springer
We present two heuristics based on constraint technology that solve the problem of generating air traffic management contingency plans, which are used in the case of a catastrophic...
148
Voted
EMNLP
2010
15 years 1 months ago
2010
The task of selecting information and rendering it appropriately appears in multiple contexts in summarization. In this paper we present a model that simultaneously optimizes sele...
130
Voted
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
We propose a more robust robot programming by demonstration system planner that produces a reproduction path which satisfies statistical constraints derived from demonstration traj...
175
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
—In this paper we consider an interacting two-agent sequential decision-making problem consisting of a Markov source process, a causal encoder with feedback, and a causal decoder...
143
Voted
AGI
2011
14 years 7 months ago
2011
The ability to identify novel patterns in observations is an essential aspect of intelligence. In a computational framework, the notion of a pattern can be formalized as a program ...