1026 search results - page 146 / 206 » On Finding Minimal w-cutset |
NIPS
1992
13 years 10 months ago
1992
This paper describes a technique for learning both the number of states and the topologyof Hidden Markov Models from examples. The inductionprocess starts with the most specific m...
CADE
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Sledgehammer, a component of the interactive theorem prover Isabelle, finds proofs in higher-order logic by calling the automated provers for first-order logic E, SPASS a...
HICSS
2010
IEEE
13 years 10 months ago
2010
IEEE
Mobile learning exposes learning to the natural environment. If this environment is large, the learners have to navigate to find the learning objects or to explore the environment...
HM
2010
Springer
13 years 10 months ago
2010
Springer
The problem of designing workforce shifts and break patterns is a relevant employee scheduling problem that arises in many contexts, especially in service industries. The issue is ...
ALGORITHMICA
2010
13 years 9 months ago
2010
We divide a string into k segments, each with only one sort of symbols, so as to minimize the total number of exceptions. Motivations come from machine learning and data mining. F...