12015 search results - page 2032 / 2403 » Interactive Algorithms 2005 |
176
click to vote
ROBOCUP
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Self-localization in dynamic environments is a central problem in mobile robotics and is well studied in the literature. One of the most popular methods is the Monte Carl...
192
click to vote
SAFECOMP
2005
Springer
16 years 7 days ago
2005
Springer
As programmable logic controllers(PLCs) have been used in safety-critical applications, testing of PLC applications has become important. The previous PLC-based software testing te...
160
click to vote
SAFECOMP
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...
172
click to vote
SARA
2005
Springer
16 years 7 days ago
2005
Springer
Intelligent agents acting in real world environments need to synthesize their course of action based on multiple sources of knowledge. They also need to generate plans that smoothl...
169
click to vote
SAT
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We present a new generic problem solving approach for overconstrained problems based on Max-SAT. We first define a clausal form formalism that deals with blocks of clau...