1705 search results - page 201 / 341 » Representing Constraints with Automata |
182
click to vote
INTERACT
2003
15 years 7 months ago
2003
Abstract: Representing the behaviour of multimodal interactive systems in a complete, concise and nonambiguous way is still a challenge for formal description techniques. Indeed, m...
183
click to vote
FLAIRS
2008
15 years 7 months ago
2008
Unit propagation-based (UP) lower bounds are used in the vast majority of current Max-SAT solvers. However, lower bounds based on UP have seldom been applied in PseudoBoolean Opti...
158
click to vote
ANOR
2007
15 years 6 months ago
2007
We consider the problem of optimal position liquidation with the aim of maximizing the expected cash flow stream from the transaction in the presence of temporary or permanent ma...
178
click to vote
JAIR
2008
15 years 6 months ago
2008
We represent planning as a set of loosely coupled network flow problems, where each network corresponds to one of the state variables in the planning domain. The network nodes cor...
160
click to vote
JRTIP
2008
15 years 6 months ago
2008
Abstract Image registration is a computationally intensive application in the medical imaging domain that places stringent requirements on performance and memory management efficie...