Sciweavers

1407 search results - page 108 / 282
» Learning Abstract Scheduling Models
Sort
View
AUSAI
2004
Springer
15 years 8 months ago
A Learning-Based Algorithm Selection Meta-reasoner for the Real-Time MPE Problem
Abstract. The algorithm selection problem aims to select the best algorithm for an input problem instance according to some characteristics of the instance. This paper presents a l...
Haipeng Guo, William H. Hsu
COLT
2004
Springer
15 years 8 months ago
Learning Classes of Probabilistic Automata
Abstract. Probabilistic finite automata (PFA) model stochastic languages, i.e. probability distributions over strings. Inferring PFA from stochastic data is an open field of rese...
François Denis, Yann Esposito
128
Voted
SAT
2010
Springer
136views Hardware» more  SAT 2010»
15 years 6 months ago
A Non-prenex, Non-clausal QBF Solver with Game-State Learning
Abstract. We describe a DPLL-based solver for the problem of quantified boolean formulas (QBF) in non-prenex, non-CNF form. We make two contributions. First, we reformulate clause...
William Klieber, Samir Sapra, Sicun Gao, Edmund M....
TFS
2008
129views more  TFS 2008»
15 years 28 days ago
A Functional-Link-Based Neurofuzzy Network for Nonlinear System Control
Abstract--This study presents a functional-link-based neurofuzzy network (FLNFN) structure for nonlinear system control. The proposed FLNFN model uses a functional link neural netw...
Cheng-Hung Chen, Cheng-Jian Lin, Chin-Teng Lin
ICWE
2005
Springer
15 years 8 months ago
An Application Framework for Collaborative Learning
We present the design of a new web application framework for collaborative learning. The framework guides users (i.e. teachers) in implementing online activities based on well-know...
Aiman Turani, Rafael A. Calvo, Peter Goodyear