679 search results - page 112 / 136 » Automatic Grammar Acquisition |
CADE
2008
Springer
15 years 10 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
ICCPOL
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We propose a lexicalized syntactic reordering framework for crosslanguage word aligning and translating researches. In this framework, we first flatten hierarchical sourc...
MKM
2009
Springer
15 years 4 months ago
2009
Springer
The extraction of the relations of nested table headers to content cells is automated with a view to constructing narrow domain ontologies of semistructured web data. A taxonomy of...
GPCE
2007
Springer
15 years 3 months ago
2007
Springer
Software written in one language often needs to construct sentences in another language, such as SQL queries, XML output, or shell command invocations. This is almost always done ...
68
Voted
ACMACE
2005
ACM
15 years 3 months ago
2005
ACM
This paper describes the automatic creation of simple cinematic scenes and events that use film language (FL) as the basis for the creation of a visual story, aiming to improve it...