Sciweavers

4609 search results - page 89 / 922
» Automatic Generation of Sigma-Protocols
Sort
View
IMR
2007
Springer
15 years 11 months ago
Automatic 3D Mesh Generation for a Domain with Multiple Materials
Abstract: This paper describes an approach to construct unstructured tetrahedral and hexahedral meshes for a domain with multiple materials. In earlier works, we developed an octre...
Yongjie Zhang, Thomas Hughes, Chandrajit L. Bajaj
MTV
2005
IEEE
138views Hardware» more  MTV 2005»
15 years 10 months ago
Diagnosing Faulty Functional Units in Processors by Using Automatically Generated Test Sets
Microprocessor technology is increasingly used for many applications; the large market volumes call for cost containment in the production phase. Process yield for processor produ...
Paolo Bernardi, Ernesto Sánchez, Massimilia...
VLDB
2004
ACM
123views Database» more  VLDB 2004»
15 years 10 months ago
CORDS: Automatic Generation of Correlation Statistics in DB2
When query optimizers erroneously assume that database columns are statistically independent, they can underestimate the selectivities of conjunctive predicates by orders of magni...
Ihab F. Ilyas, Volker Markl, Peter J. Haas, Paul G...
185
Voted
GIS
2009
ACM
15 years 9 months ago
Next generation map making: geo-referenced ground-level LIDAR point clouds for automatic retro-reflective road feature extractio
This paper presents a novel method to process large scale, ground level Light Detection and Ranging (LIDAR) data to automatically detect geo-referenced navigation attributes (traf...
Xin Chen, Brad Kohlmeyer, Matei Stroila, Narayanan...
116
Voted
AIPS
1994
15 years 6 months ago
Using AI Planning Techniques to Automatically Generate Image Processing Procedures
This paper describes work on the Multimission VICARPlanner (MVP) system to automatically construct executable imageprocessing procedures for custom image processing requests for t...
Steve A. Chien