2996 search results - page 334 / 600 » Dynamic Traveling Repairperson Problem for dynamic systems |
162
Voted
ENTCS
2007
15 years 6 months ago
2007
This paper presents an extension of a proof system for encoding generic judgments, the logic FOλ∆ of Miller and Tiu, with an induction principle. The logic FOλ∆ is itself an...
189
click to vote
ADT
2005
15 years 6 months ago
2005
Component based design is a new paradigm to build distributed systems and applications. The problem of compositional verification of such systems is however still open. We investig...
146
click to vote
AR
2004
15 years 6 months ago
2004
This paper presents theoretical and experimental results for the estimation of large position and orientation inaccuracies during force-controlled compliant motion. This is a signi...
156
click to vote
RAS
2010
15 years 5 months ago
2010
— The localization of mobile systems with video data is a challenging field in robotic vision research. Apart from artificial environmental support technologies like GPS locali...
169
click to vote
AI
2011
Springer
15 years 1 months ago
2011
Springer
Much like relational probabilistic models, the need for relational preference models arises naturally in real-world applications where the set of object classes is fixed, but obj...