2327 search results - page 309 / 466 » Consistency of functional learning methods based on derivati... |
169
Voted
FMCAD
2009
Springer
16 years 1 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
178
Voted
CPHYSICS
2004
15 years 6 months ago
2004
We present a hybrid kinetic-MHD model consisting of 3 species, the bulk fluid ions and electrons, and a kinetic minority hot particle species. The 3 species equations are derived ...
205
Voted
IDA
2006
Springer
15 years 6 months ago
2006
Springer
Text categorization is a well-known task based essentially on statistical approaches using neural networks, Support Vector Machines and other machine learning algorithms. Texts are...
185
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
As richer models for stereo vision are constructed, there is a growing interest in learning model parameters. To estimate parameters in Markov Random Field (MRF) based stereo formu...
187
Voted
BMCBI
2010
15 years 6 months ago
2010
Background: Discovering novel disease genes is still challenging for diseases for which no prior knowledge - such as known disease genes or disease-related pathways - is available...