Sciweavers

4463 search results - page 337 / 893
» computing 2000
Sort
View
AAAI
2006
15 years 8 months ago
Multiclass Support Vector Machines for Articulatory Feature Classification
of somewhat abstracting away from the literal physiological measurements of articulation that are so closely tied to the acoustic signal, and with some additional computational bur...
Brian Hutchinson, Jianna Zhang
NIPS
2000
15 years 8 months ago
A Silicon Primitive for Competitive Learning
Competitive learning is a technique for training classification and clustering networks. We have designed and fabricated an 11transistor primitive, that we term an automaximizing ...
David Hsu, Miguel Figueroa, Chris Diorio
WOA
2000
15 years 8 months ago
OO Reactive Agents for RDM-Based Simulations
The computer simulation of complex phenomena is a challenging issue for studying their properties. Several models and techniques have been developed in order to provide useful con...
Stefania Bandini, Flavio De Paoli, Sara Manzoni, C...
CONCUR
2010
Springer
15 years 7 months ago
Bisimilarity of One-Counter Processes Is PSPACE-Complete
A one-counter automaton is a pushdown automaton over a singleton stack alphabet. We prove that the bisimilarity of processes generated by nondeterministic one-counter automata (wit...
Stanislav Böhm, Stefan Göller, Petr Janc...
AAECC
2000
Springer
81views Algorithms» more  AAECC 2000»
15 years 6 months ago
On Short Multiplications and Divisions
Computing only the low degree terms of the product of two univariate polynomials is called a short multiplication. By decomposition into subproblems, a short multiplication can be ...
Thom Mulders