Sciweavers

836 search results - page 91 / 168
» Adaptive independence samplers
Sort
View
WSC
1997
13 years 10 months ago
SimTutor: A Multimedia Intelligent Tutoring System for Simulation Modeling
SimTutor is a multimedia intelligent tutoring system (ITS) for simulation modeling. Multimedia systems are now de facto standard on personal computers and increasing number of int...
Tajudeen A. Atolagbe, Vlatka Hlupic
AI
2007
Springer
13 years 9 months ago
Iterated belief revision, revised
The AGM postulates for belief revision, augmented by the DP postulates for iterated belief revision, provide generally accepted criteria for the design of operators by which intel...
Yi Jin, Michael Thielscher
EOR
2010
133views more  EOR 2010»
13 years 9 months ago
A memetic algorithm for graph coloring
Given an undirected graph G = (V, E) with a set V of vertices and a set E of edges, the graph coloring problem consists of partitioning all vertices into k independent sets and th...
Zhipeng Lü, Jin-Kao Hao
FSS
2006
114views more  FSS 2006»
13 years 8 months ago
Fuzzy logic based variable step size algorithm for blind delayed source separation
Convergence of blind delayed source separation algorithms, which use constant learning rates, is known to be slow. We propose a fuzzy logic based approach to adaptively select the...
Vivek Nigam, Roland Priemer
JLP
2007
86views more  JLP 2007»
13 years 8 months ago
Typing noninterference for reactive programs
We propose a type system to enforce the security property of noninterference in a core reactive language, obtained by extending the imperative language of Volpano, Smith and Irvin...
Ana Almeida Matos, Gérard Boudol, Ilaria Ca...