Sciweavers

324 search results - page 54 / 65
» Reducing Expression Size Using Rule-Based Integration
Sort
View
EDBT
2010
ACM
164views Database» more  EDBT 2010»
13 years 11 months ago
Techniques for efficiently querying scientific workflow provenance graphs
A key advantage of scientific workflow systems over traditional scripting approaches is their ability to automatically record data and process dependencies introduced during workf...
Manish Kumar Anand, Shawn Bowers, Bertram Ludä...
SAS
1994
Springer
159views Formal Methods» more  SAS 1994»
13 years 11 months ago
Iterative Fixed Point Computation for Type-Based Strictness Analysis
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
Fritz Henglein
EUROGRAPHICS
2010
Eurographics
14 years 4 months ago
HCCMeshes: Hierarchical-Culling oriented Compact Meshes
Hierarchical culling is a key acceleration technique used to efficiently handle massive models for ray tracing, collision detection, etc. To support such hierarchical culling, bo...
Tae-Joon Kim, Yongyoung Byun, Yongjin Kim, Bochang...
CORR
2008
Springer
60views Education» more  CORR 2008»
13 years 7 months ago
Enhanced Sensing Characteristics in MEMS-based Formaldehyde Gas Sensor
In this study, the proposed sensor integrates a sensing layer, a heating device, and electrodes on the substrate. The micro heater is integrated in the sensor to provide instantan...
Yu-Hsiang Wang, C.-C. Hsiao, Chia-Yen Lee, Rong-Hu...
PAMI
2006
227views more  PAMI 2006»
13 years 7 months ago
Matching 2.5D Face Scans to 3D Models
The performance of face recognition systems that use two-dimensional images depends on factors such as lighting and subject's pose. We are developing a face recognition system...
Xiaoguang Lu, Anil K. Jain, Dirk Colbry