3742 search results - page 467 / 749 » On the Use of Formal Techniques for Validation |
275
click to vote
Book
"Advances in shape analysis impact a wide range of disciplines, from mathematics and engineering to medicine, archeology, and art. Anyone just entering the field, however, may...
140
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
A method is proposed to encode multiple regions of interest in the JPEG2000 image-coding framework. The algorithm is based on the rearrangement of packets in the code-stream to pl...
187
click to vote
CGO
2010
IEEE
16 years 1 months ago
2010
IEEE
Reducing the arithmetic precision of a computation has real performance implications, including increased speed, decreased power consumption, and a smaller memory footprint. For s...
152
click to vote
ICSM
2008
IEEE
16 years 1 months ago
2008
IEEE
More than 90% of the cost of software is due to maintenance and evolution. Understanding the evolution of large software systems is a complex problem, which requires the use of va...
175
click to vote
ADBIS
2006
Springer
16 years 19 days ago
2006
Springer
materialized view selection is a non-trivial task. Hence, its complexity must be reduced. A judicious choice of views must be costdriven and influenced by the workload experienced...