Sciweavers

4965 search results - page 341 / 993
» A Simple Abstraction for Data Modeling
Sort
View
PKDD
2010
Springer
129views Data Mining» more  PKDD 2010»
15 years 5 months ago
Smarter Sampling in Model-Based Bayesian Reinforcement Learning
Abstract. Bayesian reinforcement learning (RL) is aimed at making more efficient use of data samples, but typically uses significantly more computation. For discrete Markov Decis...
Pablo Samuel Castro, Doina Precup
EDOC
2011
IEEE
14 years 6 months ago
UML Metamodel-based Workflow Modeling and Execution
—In this paper, we present a UML metamodel-based approach for creating and executing workflow models. The modeling language is introduced through its abstract syntax, and an eval...
Jens Brüning, Martin Gogolla
FMCAD
2008
Springer
15 years 8 months ago
Automatic Non-Interference Lemmas for Parameterized Model Checking
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
Jesse D. Bingham
MICCAI
2007
Springer
16 years 7 months ago
Modeling of Needle-Tissue Interaction Using Ultrasound-Based Motion Estimation
Abstract. A needle-tissue interaction model is an essential part of every needle insertion simulator. In this paper, a new experimental method for the modeling of needle-tissue int...
Ehsan Dehghan, Xu Wen, Reza Zahiri-Azar, Maud Marc...
ICWL
2007
Springer
16 years 27 days ago
The ELEKTRA Ontology Model: A Learner-Centered Approach to Resource Description
Abstract. There is little doubt that intelligent and adaptive educational technologies are capable of providing personalized learning experiences and improving learning success. Cu...
Michael D. Kickmeier-Rust, Dietrich Albert