953 search results - page 86 / 191 » Constraint Based Transformation Theory |
IROS
2008
IEEE
15 years 4 months ago
2008
IEEE
— In this paper we develop a theory of metamodules and an associated distributed asynchronous planner which generalizes previous work on metamodules for lattice-based modular rob...
SAT
2004
Springer
15 years 3 months ago
2004
Springer
We propose and study a technique to improve the performance of those local-search SAT solvers that proceed by executing a prespecified number of tries, each starting with an eleme...
CICLING
2006
Springer
15 years 1 months ago
2006
Springer
In this paper a theory of dialogue acts analysis in problem-solving tasks-oriented conversations is presented. The theory postulates that in practical dialogues every transaction h...
ICASSP
2007
IEEE
15 years 4 months ago
2007
IEEE
Overcomplete representations are attracting interest in image processing theory, particularly due to their potential to generate sparse representations of data based on their morp...
JUCS
2006
14 years 9 months ago
2006
Abstract: We present a novel approach to the verification of functional-logic programs. For our verification purposes, equational reasoning is not valid due to the presence of non-...