1712 search results - page 159 / 343 » A Computational Approach to Binding Theory |
ITNG
2006
IEEE
15 years 7 months ago
2006
IEEE
The accepted view of programming, rooted in Turing’s fundamental characterization of algorithms, has had a profound impact on the theory and practice of computing with yet broad...
115
click to vote
TLCA
2005
Springer
15 years 7 months ago
2005
Springer
Cut elimination is a central result of the proof theory. This paper proposes a new approach for proving the theorem for Gentzen’s intuitionistic sequent calculus LJ, that relies ...
109
click to vote
ATAL
2004
Springer
15 years 7 months ago
2004
Springer
Social judgment is a process of social explanation whereby one identifies which entities deserve credit or blame for multiagent activities. Such explanations are a key aspect of i...
GI
2004
Springer
15 years 7 months ago
2004
Springer
: In this paper we describe one of the authors’ experiences working for an IT service provider in an SME environment. The paper starts with an analysis of the factors typical for...
100
Voted
MHCI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We provide a dynamic systems interpretation of the coupling of internal states involved in speed-dependent automatic zooming, and test our implementation on a text browse...