522 search results - page 46 / 105 » Automating grammar comparison |
LPAR
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. This paper provides a new, decidable definition of the higherorder recursive path ordering in which type comparisons are made only when needed, therefore eliminating the...
LPNMR
2005
Springer
15 years 4 months ago
2005
Springer
Given two classes of logic programs, we may be interested in modular translations from one class into the other that are sound wth respect to the answer set semantics. The main the...
ASPDAC
2008
ACM
15 years 29 days ago
2008
ACM
On chip memories provide fast and energy efficient storage for code and data in comparison to caches or external memories. We present techniques and algorithms that allow for an au...
SEKE
2004
Springer
15 years 4 months ago
2004
Springer
Feature modeling is a popular domain analysis method for describing the commonality and variability among the domain products. The current formalisms of feature modelling do not ha...
LACL
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. Two kinds of framework for stating grammars of natural languages emerged during the 20th century. Here we call them generativeenumerative syntax (GES) and model-theoretic...