9405 search results - page 1736 / 1881 » Computing a Model of Set Theory |
143
click to vote
P2P
2003
IEEE
15 years 9 months ago
2003
IEEE
The peer-to-peer (P2P) model generally requires that bidirectional and direct communications for contentdelivery be set up between user peers after discovery of the desired conten...
133
click to vote
WCRE
2003
IEEE
15 years 9 months ago
2003
IEEE
Our research goal is to retarget image processing programs written in sequential languages (e.g., C) to architectures with data-parallel processing capabilities. Image processing ...
158
click to vote
ASP
2003
Springer
15 years 9 months ago
2003
Springer
Disjunctive Logic Programming (DLP) is an advanced formalism for Knowledge Representation and Reasoning (KRR). DLP is very expressive in a precise mathematical sense: it allows to ...
112
click to vote
IBPRIA
2003
Springer
15 years 9 months ago
2003
Springer
In this paper we present a method for the regularization of 3D cylindrical surfaces. By a cylindrical surface we mean a 3D surface that can be expressed as an application S(l, θ) ...
129
click to vote
ICPR
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper describes 3D mapping of indoor and outdoor environment using a mobile range scanner. In the raw range data preprocessing stage, we propose to use area decreasing flow ...