16218 search results - page 523 / 3244 » Standards |
163
click to vote
ITS
2010
Springer
16 years 6 days ago
2010
Springer
This paper explores automatically detecting student zoning out while performing a spoken learning task. Standard supervised machine learning techniques were used to create classiļ¬...
211
click to vote
KR
2010
Springer
16 years 6 days ago
2010
Springer
Horn fragments of Description Logics (DLs) have gained popularity because they provide a beneļ¬cial trade-off between expressive power and computational complexity and, more spec...
170
click to vote
CDC
2009
IEEE
16 years 5 days ago
2009
IEEE
ā This paper places into perspective the so-called algebraic time-derivative estimation method recently introduced by Fliess and co-authors with standard results from linear stat...
156
click to vote
APLAS
2009
ACM
16 years 4 days ago
2009
ACM
We study the resource calculus ā the non-lazy version of Boudolās Ī»-calculus with resources. In such a calculus arguments may be ļ¬nitely available and mixed, giving rise to ...
196
click to vote
ACISP
2009
Springer
16 years 2 days ago
2009
Springer
This paper describes a m-ary exponentiation algorithm where the radix-m digits of an exponent can be treated in a somewhat random order without using any more group operations than...