6047 search results - page 352 / 1210 » Modeling with Extend |
204
Voted
ICRA
2009
IEEE
16 years 2 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 ...
218
Voted
CSL
2009
Springer
16 years 2 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...
220
click to vote
ICIP
2008
IEEE
16 years 1 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...
223
click to vote
HASE
2007
IEEE
16 years 1 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-...
215
Voted
ICDE
2007
IEEE
16 years 1 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...