Sciweavers

1917 search results - page 150 / 384
» Experimenting with Nonmonotonic Reasoning
Sort
View
EDBT
2004
ACM
132views Database» more  EDBT 2004»
16 years 7 months ago
Query-Customized Rewriting and Deployment of DB-to-XML Mappings
Given the current trend towards application interoperability and XML-based data integration, there is an increasing need for XML interfaces to relational database management system...
Oded Shmueli, George A. Mihaila, Sriram Padmanabha...
158
Voted
AIED
2009
Springer
16 years 1 months ago
Toward Scenario Adaptation for Learning
Abstract. This paper presents a methodology for automatically customizing a scenario to suit a learner’s abilities, needs, or goals. Training scenarios are often utilized to give...
James Niehaus, Mark Riedl
TFM
2009
Springer
136views Formal Methods» more  TFM 2009»
16 years 1 months ago
On Teaching Formal Methods: Behavior Models and Code Analysis
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...
Jan Kofron, Pavel Parizek, Ondrej Sery
ICCBR
2009
Springer
16 years 1 months ago
S-Learning: A Model-Free, Case-Based Algorithm for Robot Learning and Control
A model-free, case-based learning and control algorithm called S-learning is described as implemented in a simulation of a light-seeking mobile robot. S-learning demonstrated learn...
Brandon Rohrer
180
Voted
ICIP
2008
IEEE
16 years 1 months ago
Incorporating known features into a total variation dictionary model for source separation
The goal of this paper is to investigate the impact of dictionary choosing for a total variation dictionary model. After theoretical analysis, we present the experiments in which ...
Tieyong Zeng