Sciweavers

2722 search results - page 262 / 545
» Automating Language Evolution
Sort
View
164
Voted
ILP
2007
Springer
15 years 10 months ago
Mode-Directed Inverse Entailment for Full Clausal Theories
Mode declarations are a successful form of language bias in explanatory ILP. But, while they are heavily used in Horn systems, they have yet to be similarly exploited in more expre...
Oliver Ray, Katsumi Inoue
137
Voted
LPNMR
2007
Springer
15 years 10 months ago
Modularity Aspects of Disjunctive Stable Models
Practically all programming languages used in software engineering allow to split a program into several modules. For fully declarative and nonmonotonic logic programming languages...
Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Ste...
LACL
2005
Springer
15 years 10 months ago
Learnable Classes of General Combinatory Grammars
Abstract. Kanazawa has shown that k-valued classical categorial grammars have the property of finite elasticity [1], which is a sufficient condition for learnability. He has also ...
Erwan Moreau
UML
2005
Springer
15 years 10 months ago
Use Cases, Actions, and Roles
Abstract. Use Cases are widely used for specifying systems, but their semantics are unclear in ways that make it difficult to apply use cases to complex problems. In this paper, we...
Guy Genilloud, William F. Frank, Gonzalo Gé...
CICLING
2004
Springer
15 years 10 months ago
Experiments on the Construction of a Phonetically Balanced Corpus from the Web
The construction of a speech recognition system requires a recorded set of phrases to compute the pertinent acoustic models. This set of phrases must be phonetically rich and balan...
Luis Villaseñor Pineda, Manuel Montes-y-G&o...