6047 search results - page 352 / 1210 » Modeling with Extend |
135
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— Skid-steered mobile robots are widely used because of the simplicity of mechanism and high reliability. However, understanding of the kinematics and dynamics of such a ...
145
click to vote
CSL
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. One-counter processes are pushdown processes over a singleton stack alphabet (plus a stack-bottom symbol). We study the problems of model checking asynchronous products o...
161
click to vote
ICIP
2008
IEEE
15 years 11 months ago
2008
IEEE
Traditional background modeling and subtraction methods have a strong assumption that the scenes are of static structures with limited perturbation. These methods will perform poo...
155
click to vote
HASE
2007
IEEE
15 years 11 months ago
2007
IEEE
Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-...
170
click to vote
ICDE
2007
IEEE
15 years 11 months ago
2007
IEEE
Moving objects databases (MOD) have been receiving increasing attention from the database community in recent years, mainly due to the wide variety of applications that technology...