Sciweavers

3417 search results - page 95 / 684
» Visualizing Partial Evaluation
Sort
View
127
Voted
MC
2001
109views Computer Science» more  MC 2001»
15 years 4 months ago
A visual information seeking system for Web search
In this paper we present the conception and the evaluation of a visual information seeking system for the Web. Our work has been motivated by the lack of good user interfaces assi...
Harald Reiterer, Gabriela Mußler, Thomas M. ...
108
Voted
HICSS
2009
IEEE
101views Biometrics» more  HICSS 2009»
15 years 10 months ago
Optimizing Visual Feature Perception for an Automatic Wearable Speech Supplement in Face-to-Face Communication and Classroom Sit
Given the limitation of hearing and understanding speech for many individuals, we plan to supplement the sound of speech and speechreading with an additional informative visual in...
Dominic W. Massaro, Miguel Á. Carreira-Perp...
ENTCS
2008
146views more  ENTCS 2008»
15 years 3 months ago
Complete Laziness: a Natural Semantics
Lazy evaluation (or call-by-need) is widely used and well understood, partly thanks to a clear operational semantics given by Launchbury. However, modern non-strict functional lan...
François-Régis Sinot
CSSE
2008
IEEE
15 years 9 months ago
Generation of Executable Representation for Processor Simulation with Dynamic Translation
Instruction-Set Simulators (ISS) are indispensable tools for studying new architectures. There are several alternatives to achieve instruction set simulation, such as interpretive...
Jiajia Song, HongWei Hao, Claude Helmstetter, Vani...
PADO
2001
Springer
15 years 7 months ago
Type Systems for Useless-Variable Elimination
nt Abstractions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 J¨orgen Gustavsson, Josef Svenningsson Implementing Circularity Using Pa...
Adam Fischbach, John Hannan