2000 search results - page 196 / 400 » Program Transformation and Proof Transformation |
160
click to vote
IMAGING
2000
15 years 5 months ago
2000
This paper describes a method for developing a transform between two device CMYK spaces in a way that preserves information about the black separation. An important application of...
149
click to vote
RAS
2010
15 years 2 months ago
2010
This article investigates fundamental issues in scaling autonomous personal robots towards open-ended sets of everyday manipulation tasks which involve high complexity and vague j...
131
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
A fundamental question of longstanding theoretical interest is to prove the lowest exact count of real additions and multiplications required to compute a power-of-two discrete Fo...
124
Voted
ICALP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper presents a general technique for optimally transforming any dynamic data structure D that operates on atomic and indivisible keys by constant-time comparisons,...
113
click to vote
SIGSOFT
1996
ACM
15 years 8 months ago
1996
ACM
Abstractions in Large Systems William G. Griswold, Member, IEEE, Morison I. Chen, Robert W. Bowdidge, Jenny L. Cabaniss, Van B. Nguyen, and J. David Morgenthaler Restructuring soft...