Sciweavers

2604 search results - page 389 / 521
» Human Errors and System Requirements
Sort
View
ICDE
1997
IEEE
101views Database» more  ICDE 1997»
14 years 10 months ago
Selectivity Estimation in the Presence of Alphanumeric Correlations
Query optimization is an integral part of relational database management systems. One important task in query optimization is selectivity estimation, that is, given a query P, we ...
Min Wang, Jeffrey Scott Vitter, Balakrishna R. Iye...
MICCAI
2005
Springer
14 years 10 months ago
Interpolation Artefacts in Non-rigid Registration
Voxel based non-rigid registration of images involves finding a similarity maximising transformation that deforms a source image to the coordinate system of a target image. In orde...
Paul Aljabar, Joseph V. Hajnal, Richard G. Boyes, ...
ICML
2007
IEEE
14 years 9 months ago
Information-theoretic metric learning
In this paper, we present an information-theoretic approach to learning a Mahalanobis distance function. We formulate the problem as that of minimizing the differential relative e...
Jason V. Davis, Brian Kulis, Prateek Jain, Suvrit ...
CC
2009
Springer
141views System Software» more  CC 2009»
14 years 9 months ago
Compile-Time Analysis and Specialization of Clocks in Concurrent Programs
Abstract. Clocks are a mechanism for providing synchronization barriers in concurrent programming languages. They are usually implemented using primitive communication mechanisms a...
Nalini Vasudevan, Olivier Tardieu, Julian Dolby, S...
FMICS
2009
Springer
14 years 3 months ago
Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software
Most modern safety-critical control programs, such as those embedded in fly-by-wire control systems, perform a lot of floating-point computations. The well-known pitfalls of IEEE...
David Delmas, Eric Goubault, Sylvie Putot, Jean So...