Sciweavers

2623 search results - page 253 / 525
» Universal Learning Theory
Sort
View
MAAMAW
1994
Springer
15 years 10 months ago
What Ants Cannot Do
What is the relation between the complexity of agents and the complexity of the goals that they can achieve? It is argued on the basis of a fundamental conservation of complexity ...
Eric Werner
164
Voted
FATES
2004
Springer
15 years 10 months ago
Test Generation Based on Symbolic Specifications
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
Lars Frantzen, Jan Tretmans, Tim A. C. Willemse
ER
2006
Springer
112views Database» more  ER 2006»
15 years 10 months ago
An Architecture for Emergent Semantics
Emergent Semantics is a new paradigm for inferring semantic meaning from implicit feedback by a sufficiently large number of users of an object retrieval system. In this paper, we ...
Sven Herschel, Ralf Heese, Jens Bleiholder
FP
1995
110views Formal Methods» more  FP 1995»
15 years 10 months ago
Using Types to Parse Natural Language
We describe a natural language parser that uses type information to determine the grammatical structure of simple sentences and phrases. This stands in contrast to studies of type...
Mark P. Jones, Paul Hudak, Sebastian Shaumyan
AISB
2008
Springer
15 years 8 months ago
Substitution for Fraenkel-Mostowski foundations
Abstract. A fundamental and unanalysed logical concept is substitution. This seemingly innocuous operation -- substituting a variable for a term or valuating a variable to an eleme...
Murdoch Gabbay, Michael Gabbay