2089 search results - page 273 / 418 » A New Problem in String Searching |
120
click to vote
CATS
2008
15 years 4 months ago
2008
Lazy clause generation is a hybrid SAT and finite domain propagation solver that tries to combine the advantages of both: succinct modelling using finite domains and powerful nogo...
103
click to vote
AAAI
2006
15 years 4 months ago
2006
The importance of the problems of contingent planning with actions that have non-deterministic effects and of planning with goal preferences has been widely recognized, and severa...
121
click to vote
AAAI
2006
15 years 4 months ago
2006
This paper addresses the problem of activity recognition for physically-embodied agent teams. We define team activity recognition as the process of identifying team behaviors from...
115
click to vote
WCE
2007
15 years 4 months ago
2007
— When problems are present in production, equipment or the process which are critical for organizations, many management personnel and experts have to meet to propose a solution...
137
click to vote
EOR
2008
15 years 3 months ago
2008
This paper is a study of the car sequencing problem, when feature spacing constraints are soft and colors of vehicles are taken into account. Both pseudo-polynomial algorithms and ...