250 search results - page 23 / 50 » Fixed Argument Pairings |
FOSSACS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
HICSS
2002
IEEE
14 years 2 months ago
2002
IEEE
Change representation concerns how changes of text are presented in writing tools. Change representation in collaborative writing can play an important role for the collaborators&...
EACL
1993
ACL Anthology
13 years 11 months ago
1993
ACL Anthology
The paper shows how the verbal lexicon can be formalised in a way that captures and exploits generalisations about the alternation behaviour of verb classes. An alternation is a p...
INFORMATICALT
2010
13 years 8 months ago
2010
Abstract. New text independent speaker identification method is presented. Phase spectrum of allpole linear prediction (LP) model is used to derive the speech features. The featur...
TLCA
2005
Springer
14 years 3 months ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...