Sciweavers

1591 search results - page 99 / 319
» Hybrid decision tree
Sort
View
CADE
2006
Springer
14 years 1 months ago
A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo Axioms
We present a tool for checking the sufficient completeness of linear, order-sorted equational specifications modulo associativity, commutativity, and identity. Our tool treats this...
Joe Hendrix, José Meseguer, Hitoshi Ohsaki
RSFDGRC
2005
Springer
100views Data Mining» more  RSFDGRC 2005»
14 years 3 months ago
A Hybrid Approach to MR Imaging Segmentation Using Unsupervised Clustering and Approximate Reducts
Abstract. We introduce a hybrid approach to magnetic resonance image segmentation using unsupervised clustering and the rules derived from approximate decision reducts. We utilize ...
Sebastian Widz, Kenneth Revett, Dominik Slezak
CONCURRENCY
2008
71views more  CONCURRENCY 2008»
13 years 9 months ago
Gossip-based search selection in hybrid peer-to-peer networks
We present GAB, a search algorithm for hybrid P2P networks, that is, networks that search using both flooding and a DHT. GAB uses a gossip-style algorithm to collect global statis...
M. Zaharia, S. Keshav
UAI
2004
13 years 11 months ago
Hybrid Influence Diagrams Using Mixtures of Truncated Exponentials
Mixtures of truncated exponentials (MTE) potentials are an alternative to discretization for representing continuous chance variables in influence diagrams. Also, MTE potentials c...
Barry R. Cobb, Prakash P. Shenoy
ICML
2006
IEEE
14 years 10 months ago
Learning the structure of Factored Markov Decision Processes in reinforcement learning problems
Recent decision-theoric planning algorithms are able to find optimal solutions in large problems, using Factored Markov Decision Processes (fmdps). However, these algorithms need ...
Thomas Degris, Olivier Sigaud, Pierre-Henri Wuille...