Sciweavers

1601 search results - page 145 / 321
» Locality Preserving Projections
Sort
View
EMMCVPR
2003
Springer
14 years 1 months ago
Surface Recovery from 3D Point Data Using a Combined Parametric and Geometric Flow Approach
This paper presents a novel method for surface recovery from discrete 3D point data sets. In order to produce improved reconstruction results, the algorithm presented in this paper...
Peter Savadjiev, Frank P. Ferrie, Kaleem Siddiqi
FSR
2003
Springer
112views Robotics» more  FSR 2003»
14 years 1 months ago
Decentralised SLAM with Low-Bandwidth Communication for Teams of Vehicles
— This paper addresses the problem of simultaneous localization and mapping (SLAM) for teams of collaborating vehicles where the communication bandwidth is limited. We present a ...
Eric Nettleton, Sebastian Thrun, Hugh F. Durrant-W...
ISSS
2002
IEEE
120views Hardware» more  ISSS 2002»
14 years 1 months ago
Optimal Message-Passing for Data Coherency in Distributed Architecture
Message-passing mechanism is commonly used to preserve data coherency in distributed systems. This paper presents an algorithm for insertion of minimal message-passing in system-l...
Daniel Gajski, Junyu Peng
CADE
2000
Springer
14 years 16 days ago
Machine Instruction Syntax and Semantics in Higher Order Logic
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...
Neophytos G. Michael, Andrew W. Appel
ICCAD
1997
IEEE
134views Hardware» more  ICCAD 1997»
14 years 12 days ago
Post-route optimization for improved yield using a rubber-band wiring model
This paper presents a unique approach to improve yield given a routed layout. Currently after routing has been completed and compacted, it generally proceeds to verification witho...
Jeffrey Z. Su, Wayne Wei-Ming Dai