2327 search results - page 140 / 466 » Consistency of functional learning methods based on derivati... |
126
click to vote
DATE
2007
IEEE
16 years 22 days ago
2007
IEEE
Formal verification is an important issue in circuit and system design. In this context, Bounded Model Checking (BMC) is one of the most successful techniques. But even if all sp...
165
click to vote
SDM
2007
SIAM
15 years 7 months ago
2007
SIAM
The recent years have witnessed a surge of interest in graphbased semi-supervised learning methods. The common denominator of these methods is that the data are represented by the...
163
click to vote
3DPVT
2002
IEEE
15 years 11 months ago
2002
IEEE
A method for reconstruction of 3D polygonal models from multiple views is presented. The method uses sampling techniques to construct a texture-mapped semi-regular polygonal mesh ...
192
click to vote
IVC
2008
15 years 6 months ago
2008
This paper presents an object categorization method. Our approach involves the following aspects of cognitive vision : machine learning and knowledge representation. A major eleme...
168
click to vote
ICC
2007
IEEE
16 years 22 days ago
2007
IEEE
— To enhance the generalization capacity of a distribution learning method, we propose to use a fuzzy Bayesian framework based on Bayes rules. The precision of the learning resul...