Sciweavers

1847 search results - page 10 / 370
» Hybrid Functional Interpretations
Sort
View
48
Voted
AML
2005
53views more  AML 2005»
14 years 9 months ago
Extracting Herbrand disjunctions by functional interpretation
Philipp Gerhardy, Ulrich Kohlenbach
LREC
2010
290views Education» more  LREC 2010»
14 years 11 months ago
Non-verbal Signals for Turn-taking and Feedback
This paper concerns non-verbal communication, and describes especially the use of eye-gaze to signal turn-taking and feedback in conversational settings. Eye-gaze supports smooth ...
Kristiina Jokinen
CORR
2010
Springer
79views Education» more  CORR 2010»
14 years 10 months ago
Variable elimination for building interpreters
In this paper, we build an interpreter by reusing host language functions instead of recoding mechanisms of function application that are already available in the host language (t...
Julien Cohen, Jean-Louis Giavitto, Olivier Michel
ISAAC
2010
Springer
240views Algorithms» more  ISAAC 2010»
14 years 7 months ago
Interpretation of Stream Programs: Characterizing Type 2 Polynomial Time Complexity
We study polynomial time complexity of type 2 functionals. For that purpose, we introduce a first order functional stream language. We give criteria, named well-founded, on such pr...
Hugo Férée, Emmanuel Hainry, Mathieu...