Sciweavers

266 search results - page 25 / 54
» A Demonstration of Neural Programming Applied to Non-Markovi...
Sort
View
IROS
2007
IEEE
124views Robotics» more  IROS 2007»
14 years 3 months ago
Vocal imitation using physical vocal tract model
— A vocal imitation system was developed using a computational model that supports the motor theory of speech perception. A critical problem in vocal imitation is how to generate...
Hisashi Kanda, Tetsuya Ogata, Kazunori Komatani, H...
KSEM
2009
Springer
14 years 3 months ago
A Competitive Learning Approach to Instance Selection for Support Vector Machines
Abstract. Support Vector Machines (SVM) have been applied successfully in a wide variety of fields in the last decade. The SVM problem is formulated as a convex objective function...
Mario Zechner, Michael Granitzer
IFIP
2001
Springer
14 years 1 months ago
Semiotics and Intelligent Control
The overall purpose of this paper is to demonstrate the relevance of semiotics concepts to the analysis of intelligent control systems. Semiotics has only a minor impact on resear...
Morten Lind
NFM
2011
242views Formal Methods» more  NFM 2011»
13 years 3 months ago
Model Checking Using SMT and Theory of Lists
A main idea underlying bounded model checking is to limit the length of the potential counter-examples, and then prove properties for the bounded version of the problem. In softwar...
Aleksandar Milicevic, Hillel Kugler
IJCNN
2007
IEEE
14 years 3 months ago
Probability Density Function Estimation Using Orthogonal Forward Regression
— Using the classical Parzen window estimate as the target function, the kernel density estimation is formulated as a regression problem and the orthogonal forward regression tec...
Sheng Chen, Xia Hong, Chris J. Harris