Sciweavers

192 search results - page 20 / 39
» Integrating Machine Learning in Parallel Heuristic Search
Sort
View
100
Voted
ICPR
2006
IEEE
16 years 25 days ago
Mixture of Support Vector Machines for HMM based Speech Recognition
Speech recognition is usually based on Hidden Markov Models (HMMs), which represent the temporal dynamics of speech very efficiently, and Gaussian mixture models, which do non-opt...
Sven E. Krüger, Martin Schafföner, Marce...
ECML
2005
Springer
15 years 5 months ago
Mode Directed Path Finding
Abstract. Learning from multi-relational domains has gained increasing attention over the past few years. Inductive logic programming (ILP) systems, which often rely on hill-climbi...
Irene M. Ong, Inês de Castro Dutra, David Pa...
COLCOM
2005
IEEE
15 years 5 months ago
Developing a framework for integrating prior problem solving and knowledge sharing histories of a group to predict future group
Using a combination of machine learning probabilistic tools, we have shown that some chemistry students fail to develop productive problem solving strategies through practice alon...
Ron Stevens, Amy Soller, Alessandra Giordani, Luca...
HPDC
2008
IEEE
14 years 12 months ago
A two-level scheduler to dynamically schedule a stream of batch jobs in large-scale grids
This paper describes the study conducted to design and evaluate a two-level on-line scheduler to dynamically schedule a stream of sequential and multi-threaded batch jobs on large...
Marco Pasquali, Ranieri Baraglia, Gabriele Capanni...
CADE
2006
Springer
16 years 1 days ago
Inferring Network Invariants Automatically
Abstract. Verification by network invariants is a heuristic to solve uniform verification of parameterized systems. Given a system P, a network invariant for P is that abstracts th...
Olga Grinchtein, Martin Leucker, Nir Piterman