Sciweavers

3993 search results - page 634 / 799
» Matchmaking for Structured Objects
Sort
View
ISCAS
2006
IEEE
106views Hardware» more  ISCAS 2006»
15 years 9 months ago
Integrating observability don't cares in all-solution SAT solvers
— All-solution Boolean satisfiability (SAT) solvers are engines employed to find all the possible solutions to a SAT problem. Their applications are found throughout the EDA in...
Sean Safarpour, Andreas G. Veneris, Rolf Drechsler
132
Voted
SIBGRAPI
2006
IEEE
15 years 9 months ago
Polygonization of volumetric reconstructions from silhouettes
In this work we propose a method for the polygonization of octree-based reconstructions by dual contouring. Dual contouring is an adaptive method for determining contiguous polygo...
Anselmo Antunes Montenegro, Luiz Velho, Paulo Ceza...
128
Voted
SKG
2006
IEEE
15 years 9 months ago
An Ontology Based Local Index in P2P Networks
Peer-to-peer networks (P2P) are beginning to form the infrastructure of future applications. One of the problems with unstructured P2P networks is their scalability limitation. Th...
Habib Rostami, Jafar Habibi, Hassan Abolhassani, M...
122
Voted
ACCV
2006
Springer
15 years 9 months ago
Dense 3D Reconstruction with an Uncalibrated Active Stereo System
In this paper, we describe a novel uncalibrated active stereo system using coded structured light. Structured-light-based active stereo systems generally consist of a camera and pr...
Hiroshi Kawasaki, Yutaka Ohsawa, Ryo Furukawa, Yas...
122
Voted
DOCENG
2006
ACM
15 years 9 months ago
Live editing of hypermedia documents
In some hypermedia system applications, like interactive digital TV applications, authoring and presentation of documents may have to be done concomitantly. This is the case of li...
Romualdo Monteiro de Resende Costa, Márcio ...