Sciweavers

5718 search results - page 809 / 1144
» Modeling Rule Precision
Sort
View
ICML
2010
IEEE
15 years 8 months ago
Probabilistic Backward and Forward Reasoning in Stochastic Relational Worlds
Inference in graphical models has emerged as a promising technique for planning. A recent approach to decision-theoretic planning in relational domains uses forward inference in d...
Tobias Lang, Marc Toussaint
ENTCS
2006
114views more  ENTCS 2006»
15 years 7 months ago
Prototyping SOS Meta-theory in Maude
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...
Mohammad Reza Mousavi, Michel A. Reniers
IJON
2006
74views more  IJON 2006»
15 years 7 months ago
Real-time simulations of networks of Hodgkin-Huxley neurons using analog circuits
The traditional dilemma for performing network simulations with analog circuits is the great difficulty of handling the connectivity in hardware. The main problem is that hardware...
Quan Zou, Yannick Bornat, Jean Tomas, Sylvie Renau...
JMLR
2008
110views more  JMLR 2008»
15 years 7 months ago
Estimating the Confidence Interval for Prediction Errors of Support Vector Machine Classifiers
Support vector machine (SVM) is one of the most popular and promising classification algorithms. After a classification rule is constructed via the SVM, it is essential to evaluat...
Bo Jiang, Xuegong Zhang, Tianxi Cai
DKE
2007
115views more  DKE 2007»
15 years 7 months ago
An improved methodology on information distillation by mining program source code
This paper presents a methodology for knowledge acquisition from source code. We use data mining to support semiautomated software maintenance and comprehension and provide practi...
Yiannis Kanellopoulos, Christos Makris, Christos T...