588 search results - page 111 / 118 » Using UML Environment Models for Test Case Generation |
132
Voted
AI
2004
Springer
15 years 7 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...
75
Voted
ET
2007
15 years 9 days ago
2007
As new approaches and algorithms are developed for system diagnosis, it is important to reflect on existing approaches to determine their strengths and weaknesses. Of concern is i...
ATAL
2009
Springer
15 years 1 months ago
2009
Springer
Motion planning for mobile agents, such as robots, acting in the physical world is a challenging task, which traditionally concerns safe obstacle avoidance. We are interested in p...
110
click to vote
CVPR
2009
IEEE
16 years 7 months ago
2009
IEEE
In this paper we present an adaptive but robust object
detector for static cameras by introducing classifier grids.
Instead of using a sliding window for object detection we
pro...
106
click to vote
AIME
2009
Springer
15 years 7 months ago
2009
Springer
Dental students devote several years to the acquisition of sufficient psychomotor skills to prepare them for entry-level dental practice. Traditional methods of dental surgical ski...