Sciweavers

1712 search results - page 172 / 343
» A Computational Approach to Binding Theory
Sort
View
121
Voted
JMM2
2007
125views more  JMM2 2007»
15 years 1 months ago
The Virtuality and Reality of Augmented Reality
— This thesis explores the creative possibilities and implications of Augmented Reality, not just as a specific technology of computer science, but as one of high technologies th...
Jung Yeon Ma, Jong Soo Choi
128
Voted
MSCS
2000
126views more  MSCS 2000»
15 years 1 months ago
Sequent combinators: a Hilbert system for the lambda calculus
This paper introduces a Hilbert system for lambda calculus called sequent combinators. Sequent combinators address many of the problems of Hilbert systems, which have led to the m...
Healfdene Goguen, Jean Goubault-Larrecq
ACSD
2010
IEEE
219views Hardware» more  ACSD 2010»
14 years 12 months ago
The Model Checking View to Clock Gating and Operand Isolation
Abstract--Clock gating and operand isolation are two techniques to reduce the power consumption in state-of-the-art hardware designs. Both approaches basically follow a two-step pr...
Jens Brandt, Klaus Schneider, Sumit Ahuja, Sandeep...
152
Voted
FGR
2011
IEEE
244views Biometrics» more  FGR 2011»
14 years 5 months ago
Emotion representation, analysis and synthesis in continuous space: A survey
— Despite major advances within the affective computing research field, modelling, analysing, interpreting and responding to naturalistic human affective behaviour still remains...
Hatice Gunes, Björn Schuller, Maja Pantic, Ro...
125
Voted
IPPS
2003
IEEE
15 years 7 months ago
Using Hybrid Alignment for Iterative Sequence Database Searches
Progressive sequence model refinement by means of iterative searches is an effective technique for high sensitivity database searches and is currently employed in popular tools s...
Yuheng Li, Mario Lauria, Ralf Bundschuh