2089 search results - page 116 / 418 » Finding Environment Guarantees |
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
— Introducing autonomous machines to construction areas can improve many of the occurring processes. Therefore, this paper deals with problems in the field of creating an autono...
124
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
This work considers the problem of designing optimal multi-agent trajectories to patrol an environment. As performance criterion for optimal patrolling we consider the worst-case t...
146
click to vote
ICML
2004
IEEE
16 years 4 months ago
2004
IEEE
Markov networks are extensively used to model complex sequential, spatial, and relational interactions in fields as diverse as image processing, natural language analysis, and bio...
118
click to vote
ICSE
2007
IEEE-ACM
16 years 4 months ago
2007
IEEE-ACM
Linux distributions often include package management tools such as apt-get in Debian or yum in RedHat. Using information about package dependencies and conflicts, such tools can d...
111
click to vote
PLDI
2010
ACM
16 years 1 months ago
2010
ACM
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algor...