759 search results - page 136 / 152 » Test case generator for GUITAR |
137
Voted
AI
2004
Springer
15 years 18 days ago
2004
Springer
We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by addin...
117
click to vote
SIMULATION
1998
15 years 11 days ago
1998
A decision support system for the management of an intermodal container terminal is presented. Among the problems to be solved, there are the spatial allocation of containers on t...
126
click to vote
JMLR
2008
15 years 6 days ago
2008
We study a generative model in which hidden causes combine competitively to produce observations. Multiple active causes combine to determine the value of an observed variable thr...
93
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
—We study the problem of scheduling periodic real-time tasks which have individual minimum reward requirements. We consider situations where tasks generate jobs that can be provi...
126
Voted
ICRA
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract— Scene recognition is a highly valuable perceptual ability for an indoor mobile robot, however, current approaches for scene recognition present a significant drop in p...