4341 search results - page 417 / 869 » Quantitative Model checking |
181
Voted
IWNAS
2008
IEEE
16 years 1 months ago
2008
IEEE
With the increased popularity of replica-based services in distributed systems such as the Grid, consistency control among replicas becomes more and more important. To this end, I...
165
click to vote
ICRA
2006
IEEE
16 years 27 days ago
2006
IEEE
— This paper presents a generic kinematic modeling approach for articulated multi-monocycle mobile robots. The formulation proposed to deduce the input/output velocity equations ...
160
Voted
ACIVS
2006
Springer
16 years 26 days ago
2006
Springer
In this paper we propose the use of Discrete Choice Analysis (DCA) for static facial expression classification. Facial expressions are described with expression descriptive units ...
176
Voted
ICRA
2005
IEEE
16 years 14 days ago
2005
IEEE
Abstract— We are developing a swarm-intelligent inspection system based on a swarm of autonomous, miniature robots, using only on-board, local sensors. To estimate intrinsic adva...
183
Voted
IWINAC
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Visual attention is the ability of a vision system, be it biological or artificial, to rapidly detect potentially relevant parts of a visual scene. The saliency-based mo...