Sciweavers

1143 search results - page 74 / 229
» Mental models of recursion
Sort
View
ALT
2005
Springer
14 years 6 months ago
Gold-Style and Query Learning Under Various Constraints on the Target Class
In language learning, strong relationships between Gold-style models and query models have recently been observed: in some quite general setting Gold-style learners can be replaced...
Sanjay Jain, Steffen Lange, Sandra Zilles
JSYML
2010
107views more  JSYML 2010»
13 years 7 months ago
A proof of completeness for continuous first-order logic
Continuous first-order logic has found interest among model theorists who wish to extend the classical analysis of “algebraic” structures (such as fields, group, and graphs) ...
Arthur Paul Pedersen, Itay Ben-Yaacov
ECHT
1992
14 years 1 months ago
Gram: A Graph Data Model and Query Language
We present a model for data organized as graphs. Regular expressions over the types of the node and edge labels are used to qualify connected subgraphs. An algebraic language base...
Bernd Amann, Michel Scholl
SCL
2008
105views more  SCL 2008»
13 years 9 months ago
Computation of nonlinear balanced realization and model reduction based on Taylor series expansion
In this paper a computational algorithm for nonlinear balanced realization and model reduction based on Taylor series expansion is proposed. This algorithm requires recursive comp...
Kenji Fujimoto, Daisuke Tsubakino
ALT
2003
Springer
14 years 6 months ago
Intrinsic Complexity of Uniform Learning
Inductive inference is concerned with algorithmic learning of recursive functions. In the model of learning in the limit a learner successful for a class of recursive functions mus...
Sandra Zilles