476 search results - page 62 / 96 » Representation dependence testing using program inversion |
CC
2002
Springer
13 years 7 months ago
2002
Springer
Abstract. Forwarding is a technique for providing default attribute definitions in attribute grammars that is helpful in the modular implementation of programming languages. It com...
SIGGRAPH
1998
ACM
13 years 12 months ago
1998
ACM
A perceptually based approach for selecting image samples has been developed. An existing image processing vision model has been extended to handle color and has been simplified ...
IFIP
2004
Springer
14 years 1 months ago
2004
Springer
The parallel packet switch (PPS) extends the inverse multiplexing architecture, and is extensively used as the core of contemporary commercial switches. A key factor in the perfor...
CHI
2000
ACM
14 years 2 days ago
2000
ACM
Usability comprises the aspects effectiveness, efficiency, and satisfaction. The correlations between these aspects are not well understood for complex tasks. We present data from...
JFP
2007
13 years 7 months ago
2007
The LF logical framework codifies a methodology for representing deductive systems, such as programming languages and logics, within a dependently typed λ-calculus. In this meth...