2963 search results - page 31 / 593 » An architecture for generic extensions |
MKM
2009
Springer
15 years 4 months ago
2009
Springer
This paper presents a proof language based on the work of Sacerdoti Coen [1,2], Kirchner [3] and Autexier [4] on ¯λµ˜µ, a calculus introduced by Curien and Herbelin [5,6]. Jus...
WAE
2001
14 years 11 months ago
2001
Geometric algorithms are based on geometric objects such as points, lines and circles. The term Kernel refers to a collection of representations for constant-size geometric objects...
IMCSIT
2010
14 years 7 months ago
2010
Abstract--We present a tool that facilitates the efficient extension of morphological lexica. The tool exploits information from a morphological lexicon, a morphological grammar an...
DAC
2005
ACM
15 years 10 months ago
2005
ACM
DAC
2003
ACM
15 years 10 months ago
2003
ACM