Sciweavers

21342 search results - page 144 / 4269
» Structured language modeling
Sort
View
LICS
1998
IEEE
15 years 6 months ago
A Congruence Theorem for Structured Operational Semantics of Higher-Order Languages
In this paper we describe the promoted tyft tyxt rule format for de ning higher-order languages. The rule format is a generalization of Groote and Vaandrager's tyft tyxt form...
Karen L. Bernstein
POPL
2009
ACM
15 years 10 months ago
Declarative aspects of memory management in the concurrent collections parallel programming model
Concurrent Collections (CnC)[8] is a declarative parallel language that allows the application developer to express their parallel application as a collection of high-level comput...
Zoran Budimlic, Aparna Chandramowlishwaran, Kathle...
LREC
2008
88views Education» more  LREC 2008»
15 years 4 months ago
KYOTO: a System for Mining, Structuring and Distributing Knowledge across Languages and Cultures
We outline work to be carried out within the framework of an impending EC project. The goal is to construct a language-independent information system for a specific domain (environ...
Piek Vossen, Eneko Agirre, Nicoletta Calzolari, Ch...
AGP
1997
IEEE
15 years 7 months ago
Structural Information Analysis for CLP Languages
We present the rational construction of a generic domain for structural analysis anguages: Pattern(D ), where the parameter D is an abstract domain satisfying certain properties. ...
Roberto Bagnara
COLING
1992
15 years 4 months ago
On Representing the Temporal Structure of a Natural Language Text
A proposal to deal with tenses in the framework of Discourse Representation Theory is presented, ms it has been implemented for a fragment at the IMS for the project LILOG. It is ...
Kurt Eberle