Sciweavers

1143 search results - page 42 / 229
» Mental models of recursion
Sort
View
150
Voted
TLDI
2009
ACM
169views Formal Methods» more  TLDI 2009»
16 years 22 days ago
Relational parametricity for references and recursive types
We present a possible world semantics for a call-by-value higherorder programming language with impredicative polymorphism, general references, and recursive types. The model is o...
Lars Birkedal, Kristian Støvring, Jacob Tha...
FSMNLP
2005
Springer
15 years 9 months ago
Parsing with Lexicalized Probabilistic Recursive Transition Networks
Abstract. We present a formalization of lexicalized Recursive Transition Networks which we call Automaton-Based Generative Dependency Grammar (gdg). We show how to extract a gdg fr...
Alexis Nasr, Owen Rambow
ACL
1993
15 years 5 months ago
A Complete and Recursive Feature Theory
Various feature descriptions are being employed in constrained-based grammar formalisms. The common notational primitive of these descriptions are functional attributes called fea...
Rolf Backofen, Gert Smolka
TSP
2010
14 years 10 months ago
A recursive method for the approximation of LTI systems using subband processing
Using the subband technique, an LTI system can be implemented by the composition of an analysis filterbank, followed by a transfer matrix (subband model) and a synthesis filterbank...
Damián Marelli, Minyue Fu
ESANN
2007
15 years 5 months ago
Systematicity in sentence processing with a recursive self-organizing neural network
Abstract. As potential candidates for human cognition, connectionist models of sentence processing must learn to behave systematically by generalizing from a small traning set. It ...
Igor Farkas, Matthew W. Crocker