2137 search results - page 309 / 428 » Control of a Car-Like Robot Using a Dynamic Model |
121
Voted
POLICY
2007
Springer
15 years 8 months ago
2007
Springer
This paper presents ongoing research and current results on the development of flexible access control infrastructure for complex resource provisioning (CRP) in Grid-based applica...
123
Voted
FMCAD
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
120
Voted
IJRR
2007
15 years 2 months ago
2007
Abstract— In this paper, we present an algorithm for autonomous stair climbing with a tracked vehicle. The proposed method achieves robust performance under real-world conditions...
124
Voted
CP
2004
Springer
15 years 8 months ago
2004
Springer
In real-life temporal scenarios, uncertainty and preferences are often essential, coexisting aspects. We present a formalism where temporal constraints with both preferences and un...
DSOM
2005
Springer
15 years 8 months ago
2005
Springer
Dynamic provisioning systems change application capacity in order to use enough resources to accommodate current load. Rejuvenation systems detect/forecast software failures and te...