Sciweavers

806 search results - page 125 / 162
» Using Objects of Measurement to Detect Spreadsheet Errors
Sort
View
POPL
2008
ACM
14 years 8 months ago
Automatic inference of stationary fields: a generalization of java's final fields
Java programmers can document that the relationship between two objects is unchanging by declaring the field that encodes that relationship to be final. This information can be us...
Christopher Unkel, Monica S. Lam
MICCAI
2009
Springer
14 years 9 months ago
A Fast Alternative to Computational Fluid Dynamics for High Quality Imaging of Blood Flow
Obtaining detailed, patient-specific blood flow information would be very useful in detecting and monitoring cardio-vascular diseases. Current approaches rely on computational flui...
Robert H. P. McGregor, Dominik Szczerba, Krishnamu...
SIGMOD
2004
ACM
147views Database» more  SIGMOD 2004»
14 years 8 months ago
Robust Query Processing through Progressive Optimization
Virtually every commercial query optimizer chooses the best plan for a query using a cost model that relies heavily on accurate cardinality estimation. Cardinality estimation erro...
Volker Markl, Vijayshankar Raman, David E. Simmen,...
IOLTS
2009
IEEE
174views Hardware» more  IOLTS 2009»
14 years 2 months ago
ATPG-based grading of strong fault-secureness
—Robust circuit design has become a major concern for nanoscale technologies. As a consequence, for design validation, not only the functionality of a circuit has to be considere...
Marc Hunger, Sybille Hellebrand, Alejandro Czutro,...
CSB
2002
IEEE
109views Bioinformatics» more  CSB 2002»
14 years 27 days ago
Towards Automatic Clustering of Protein Sequences
Analyzing protein sequence data becomes increasingly important recently. Most previous work on this area has mainly focused on building classification models. In this paper, we i...
Jiong Yang, Wei Wang 0010