11168 search results - page 134 / 2234 » Abstract State Processes |
KES
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present an autoadaptive algorithm for in-use parameter estimation of MEMS inertial accelerometers and gyros1 using multilevel quasi-static states for greater accuracy ...
139
click to vote
GI
2009
Springer
15 years 9 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
114
click to vote
DLT
2007
15 years 6 months ago
2007
Abstract. Inapproximability results concerning minimization of nondeterministic finite automata relative to given deterministic finite automata were obtained only recently, modul...
111
click to vote
AAECC
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Let C be an algebraic geometric code of dimension k and length n constructed on a curve X over Fq. Let s(C) be the state complexity of C and set w(C) := min{k, n-k}, the ...
180
click to vote
ACII
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. Hand-over-face gestures, a subset of emotional body language, are overlooked by automatic affect inference systems. We propose the use of hand-over-face gestures as a no...