Sciweavers

3824 search results - page 57 / 765
» Geometry Constructions Language
Sort
View
EACL
2006
ACL Anthology
13 years 11 months ago
Automatically Constructing a Lexicon of Verb Phrase Idiomatic Combinations
We investigate the lexical and syntactic flexibility of a class of idiomatic expressions. We develop measures that draw on such linguistic properties, and demonstrate that these s...
Afsaneh Fazly, Suzanne Stevenson
KBSE
2005
IEEE
14 years 3 months ago
Prufrock: a framework for constructing polytypic theorem provers
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
Justin Ward, Garrin Kimmell, Perry Alexander
ACL
2006
13 years 11 months ago
Morphological Richness Offsets Resource Demand - Experiences in Constructing a POS Tagger for Hindi
In this paper we report our work on building a POS tagger for a morphologically rich language- Hindi. The theme of the research is to vindicate the stand that- if morphology is st...
Smriti Singh, Kuhoo Gupta, Manish Shrivastava, Pus...
APAL
1999
70views more  APAL 1999»
13 years 10 months ago
A Geometric Consequence of Residual Smallness
We describe a new way to construct large subdirectly irreducibles within an equational class of algebras. We use this construction to show that there are forbidden geometries of m...
Keith A. Kearnes, Emil W. Kiss, Matthew Valeriote
PEPM
2009
ACM
14 years 7 months ago
Self-adjusting computation: (an overview)
Many applications need to respond to incremental modifications to data. Being incremental, such modification often require incremental modifications to the output, making it po...
Umut A. Acar