Sciweavers

2137 search results - page 240 / 428
» Control of a Car-Like Robot Using a Dynamic Model
Sort
View
ICRA
2005
IEEE
125views Robotics» more  ICRA 2005»
15 years 9 months ago
Temporal Logic Motion Planning for Mobile Robots
— In this paper, we consider the problem of robot motion planning in order to satisfy formulas expressible in temporal logics. Temporal logics naturally express traditional robot...
Georgios E. Fainekos, Hadas Kress-Gazit, George J....
CORR
2004
Springer
218views Education» more  CORR 2004»
15 years 3 months ago
A Dynamic Clustering-Based Markov Model for Web Usage Mining
Markov models have been widely utilized for modelling user web navigation behaviour. In this work we propose a dynamic clustering-based method to increase a Markov model's ac...
José Borges, Mark Levene
WSC
2007
15 years 6 months ago
Effective workforce lifecycle management via system dynamics modeling and simulation
Efficiently planning and managing workforce is a challenge imposed on many companies, especially for those in the service industry. The target of an effective workforce management...
Lianjun An, Jun-Jang Jeng, Young M. Lee, Changrui ...
KESAMSTA
2010
Springer
15 years 6 months ago
Modelling Dynamic Forgetting in Distributed Information Systems
Abstract. We describe and model a new aspect in the design of distributed information systems. We build upon a previously described problem on the microlevel, which asks how quickl...
Nicolas Höning, Martijn C. Schut
ECAI
2008
Springer
15 years 5 months ago
Incremental Component-Based Construction and Verification of a Robotic System
Abstract-- Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and m...
Ananda Basu, Matthieu Gallien, Charles Lesire, Tha...