3069 search results - page 561 / 614 » Issues with the construct of quality |
138
click to vote
PPOPP
2003
ACM
15 years 4 months ago
2003
ACM
Large-scale cluster-based Internet services often host partitioned datasets to provide incremental scalability. The aggregation of results produced from multiple partitions is a f...
114
click to vote
SMA
2003
ACM
15 years 4 months ago
2003
ACM
This paper presents a novel Scalar-field based Free-Form Deformation (SFFD) technique founded upon general flow constraints and implicit functions. In contrast to the traditiona...
KBSE
2002
IEEE
15 years 4 months ago
2002
IEEE
Software engineering (SE) truisms capture broadlyapplicable principles of software construction. The trouble with truisms is that such general principles may not apply in specifi...
LICS
2002
IEEE
15 years 4 months ago
2002
IEEE
The automated construction of mathematical proof is a basic activity in computing. Since the dawn of the field of automated reasoning, there have been two divergent schools of tho...
CDC
2009
IEEE
15 years 3 months ago
2009
IEEE
A dimension reduction method called Discrete Empirical Interpolation (DEIM) is proposed and shown to dramatically reduce the computational complexity of the popular Proper Orthogo...