741 search results - page 121 / 149 » A Local System for Classical Logic |
ECCV
2000
Springer
14 years 10 months ago
2000
Springer
In this paper, we address the problem of visually guiding and controlling a robot in projective three-space using stereo vision. As the proposed method is entirely formulated in pr...
IPPS
2009
IEEE
14 years 3 months ago
2009
IEEE
In this paper we define the Weak Mutual Exclusion (WME) problem. Analogously to classical Distributed Mutual Exclusion (DME), WME serializes the accesses to a shared resource. Di...
RTA
2009
Springer
14 years 3 months ago
2009
Springer
We address the problem of cyclic termgraph rewriting. We propose a new framework where rewrite rules are tuples of the form (L, R, τ, σ) such that L and R are termgraphs represen...
IROS
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— Although the human hand is a complex biomechanical system, only a small set of features may be necessary for observation learning of functional grasp classes. We explor...
MMM
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. This paper presents a novel approach to implement estimation and recognition of human motion from uncalibrated monocular video sequences. As it is difficult to find a go...