4743 search results - page 222 / 949 » The PlusCal Algorithm Language |
177
click to vote
TASLP
2011
14 years 10 months ago
2011
Abstract—The shifted delta cepstrum (SDC) is a widely used feature extraction for language recognition (LRE). With a high context width due to incorporation of multiple frames, S...
145
click to vote
BIRTHDAY
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
140
click to vote
ICWE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper describes the new e-learning tool CHESt that allows students to search in a knowledge base for short (teaching) multimedia clips by using a semantic search eng...
126
click to vote
STACS
1991
Springer
15 years 6 months ago
1991
Springer
Several relation-algebraic algorithms for computing the cut completion of a partially ordered set are formally developed and afterwards generalized to the case of concept lattices....
128
click to vote
CLIMA
2010
15 years 4 months ago
2010
We present an algorithm for finding uniform strategies in multi-agent systems with incomplete information. The algorithm finds all maximal uniform strategies for agents with incomp...