751 search results - page 135 / 151 » Consistency techniques for interprocedural test data generat... |
CVPR
2000
IEEE
13 years 11 months ago
2000
IEEE
The National Aeronautics and Space Administration (NASA), along with members of the aircraft industry, recently developed technologies for a new supersonic aircraft. One of the te...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
The large number of spectral variables in most data sets encountered in spectral chemometrics often renders the prediction of a dependent variable uneasy. The number of variables ...
IJSWIS
2007
13 years 7 months ago
2007
An ontology is a formal representation of a domain modeling the entities in the domain and their relations. When a domain is represented by multiple ontologies, there is need for ...
ENTCS
2002
13 years 7 months ago
2002
The paper presents approaches to the validation of optimizing compilers. The emphasis is on aggressive and architecture-targeted optimizations which try to obtain the highest perf...
IPMI
2009
Springer
14 years 8 months ago
2009
Springer
In this paper, we employ an anatomical parameterization of spatial warps to reveal structural differences between medical images of healthy control subjects and disease patients. T...