9405 search results - page 1736 / 1881 » Computing a Model of Set Theory |
177
click to vote
P2P
2003
IEEE
15 years 11 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...
172
click to vote
WCRE
2003
IEEE
15 years 11 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 ...
192
click to vote
ASP
2003
Springer
15 years 11 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 ...
152
click to vote
IBPRIA
2003
Springer
15 years 11 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, θ) ...
180
click to vote
ICPR
2002
IEEE
15 years 11 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 ...