3457 search results - page 341 / 692 » A Symbol Is Not a Symbol |
146
click to vote
IROS
2006
IEEE
16 years 22 days ago
2006
IEEE
— We evaluate Layered Hidden Markov Models (LHMM) for motion intention recognition based on actionprimitives or gestemes. The proposed methodology uses three different HMM models...
120
click to vote
ISCAS
2006
IEEE
16 years 22 days ago
2006
IEEE
Abstract— The V-BLAST (vertical Bell labs layered spacetime) system is one of the MIMO systems designed to achieve a good multiplexing gain. In the recent literature, a V-BLAST p...
162
click to vote
LICS
2006
IEEE
16 years 22 days ago
2006
IEEE
Automata on infinite objects are extensively used in system specification, verification, and synthesis. While some applications of the automata-theoretic approach have been wel...
170
click to vote
QSIC
2006
IEEE
16 years 22 days ago
2006
IEEE
This paper describes a prototype tool, called SimC, which automatically generates test data for unit testing of C programs. The tool symbolically simulates the execution of the gi...
180
click to vote
ACSC
2005
IEEE
16 years 10 days ago
2005
IEEE
The global dynamics of automata networks (such as neural networks) are a function of their topology and the choice of automata used. Evolutionary methods can be applied to the opt...