Sciweavers

48 search results - page 1 / 10
» Achieving Flexibility In Unification Formalisms
Sort
View
CODES
1999
IEEE
13 years 9 months ago
A unified formal model of ISA and FSMD
In this paper, we develop a formal framework to widen the scope of retargetable compilation. The goal is achieved by the unification of architectural models for both the processor...
Jianwen Zhu, Daniel Gajski
ACL
1992
13 years 6 months ago
Handling Linear Precedence Constraints by Unification
Linear precedence (LP) rules are widely used for stating word order principles. They have been adopted as constraints by HPSG but no encoding in the formalism has been provided. S...
Judith Engelkamp, Gregor Erbach, Hans Uszkoreit
BMCBI
2010
137views more  BMCBI 2010»
13 years 5 months ago
Biana: a software framework for compiling biological interactions and analyzing networks
Background: The analysis and usage of biological data is hindered by the spread of information across multiple repositories and the difficulties posed by different nomenclature sy...
Javier Garcia-Garcia, Emre Guney, Ramon Aragues, J...
ACL
1990
13 years 6 months ago
Automatically Extracting and Representing Collocations for Language Generation
Collocational knowledge is necessary for language generation. The problem is that collocations come in a large variety of forms. They can involve two, three or more words, these w...
Frank A. Smadja, Kathleen McKeown