747 search results - page 92 / 150 » Using and Combining Predictors That Specialize |
SIGGRAPH
2010
ACM
14 years 1 months ago
2010
ACM
We present a new sketch-based modeling approach in which models are interactively designed by drawing their 2D silhouettes from different views. The core idea of our paper is to l...
COBUILD
1998
Springer
14 years 1 months ago
1998
Springer
This paper introduces the concept of Adaptive Rooms, which are virtual environments able to dynamically adapt to users' needs, including `physical' and cognitive workflow...
PEPM
1993
ACM
14 years 29 days ago
1993
ACM
Binding-time analysis is a crucial component of an ofine partial evaluator. The accuracy of the binding-time information that it produces determines the degree of specialization o...
CGO
2004
IEEE
14 years 19 days ago
2004
IEEE
Operand gating is a technique for improving processor energy efficiency by gating off sections of the data path that are unneeded by short-precision (narrow) operands. A method fo...
SPIN
2000
Springer
14 years 14 days ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...