6978 search results - page 1043 / 1396 » On Proofs in System P |
196
Voted
ICVS
2009
Springer
16 years 1 months ago
2009
Springer
The faithful detection of the motion and of the distance of the objects in the visual scene is a desirable feature of any artificial vision system designed to operate in unknown e...
187
click to vote
ICVS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a real-time approach for traversable surface detection using a low-cost monocular camera mounted on an autonomous vehicle. The proposed methodology extracts co...
158
Voted
IWINAC
2009
Springer
16 years 1 months ago
2009
Springer
The purpose of this work is the creation of a description of objects in the peripersonal space of a subject that includes two kinds of concepts, related to on-line, action-related ...
171
click to vote
OSS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract The reuse of Open Source Software components available on the Internet is playing a major role in the development of Component Based Software Systems. Nevertheless, the sp...
168
Voted
PVM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract This paper proposes a new fine-grained data distribution operation MPI Alltoall specific that allows an element-wise distribution of data elements to specific target pro...