2377 search results - page 206 / 476 » Hybrid Systems in TLA |
177
click to vote
ROBOCUP
1999
Springer
15 years 10 months ago
1999
Springer
This paper describes the hardware and software architecture of the Attempto RoboCup-99 team. We first present the design of our heavily modified commercial robotic base, the robo...
184
click to vote
BDA
2006
15 years 8 months ago
2006
Surprisingly enough, there has been few investigations for typing references of semistructured data and XML documents. This paper build on a previous proposal [7] introducing simp...
174
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Abstract. We present the first terminating tableau calculus for basic hybrid logic with the difference modality and converse modalities. The language under consideration is basic m...
164
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
—This video submission presents the experimental validation and testing of a novel Hybrid Mobile Robot (HMR) system design using a complete physical prototype. The HMR consists o...
219
click to vote
DSOM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We propose a novel hybrid planning approach for the automated generation of IT change plans. The algorithm addresses an abstraction mismatch between refinement of tasks ...