Sciweavers

1578 search results - page 194 / 316
» Direct Routing: Algorithms and Complexity
Sort
View
IJCAI
1989
13 years 11 months ago
Introducing Actions into Qualitative Simulation
Many potential uses of qualitative physics, such as robot planning and intelligent computer-aided engineering, require integrating physics with actions taken by agents. This paper...
Kenneth D. Forbus
ICASSP
2010
IEEE
13 years 10 months ago
Frame domain signal processing: Framework and applications
Besides basis expansions, frames representations play a key role in signal processing. We thus consider the problem of frame domain signal processing, which is more complex and ch...
Amina Chebira, Matthew Fickus, Martin Vetterli
CP
2010
Springer
13 years 8 months ago
Exponential Propagation for Set Variables
Research on constraint propagation has primarily focused on designing polynomial-time propagators sometimes at the cost of a weaker filtering. Interestingly, the evolution of cons...
Justin Yip, Pascal Van Hentenryck
BIRTHDAY
2005
Springer
14 years 3 months ago
Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
David Harel, Hillel Kugler, Amir Pnueli
COCO
2008
Springer
86views Algorithms» more  COCO 2008»
13 years 12 months ago
The Multiplicative Quantum Adversary
We present a new variant of the quantum adversary method. All adversary methods give lower bounds on the quantum query complexity of a function by bounding the change of a progres...
Robert Spalek