741 search results - page 121 / 149 » A Local System for Classical Logic |
127
click to vote
ECCV
2000
Springer
16 years 5 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...
132
Voted
IPPS
2009
IEEE
15 years 10 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...
123
Voted
RTA
2009
Springer
15 years 10 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...
121
Voted
IROS
2007
IEEE
15 years 10 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...
132
click to vote
MMM
2007
Springer
15 years 10 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...