2467 search results - page 393 / 494 » Finite State Machines |
CEC
2010
IEEE
15 years 1 months ago
2010
IEEE
The evolution of Artificial Intelligence has passed through many phases over the years, going from rigorous mathematical grounding to more intuitive bio-inspired approaches. Despit...
ICASSP
2010
IEEE
15 years 26 days ago
2010
IEEE
This paper presents the use of online Variational Bayes method for online Voice Activity Detection (VAD) in an unsupervised context. In conventional VAD, the final step often rel...
97
Voted
JUCS
2008
15 years 19 days ago
2008
: A goal of software product lines is the economical assembly of programs in a family of programs. In this paper, we explore how theorems about program properties may be integrated...
103
Voted
JIIS
2006
15 years 19 days ago
2006
Kernel Canonical Correlation Analysis (KCCA) is a method of correlating linear relationship between two variables in a kernel defined feature space. A machine learning algorithm b...
84
Voted
ENTCS
2007
15 years 19 days ago
2007
Operational semantics for programming languages usually come in two flavours: big-step and small-step. Both are defined using deduction rules with a congruence rule allowing redu...