Sciweavers

4209 search results - page 555 / 842
» Abstract Dialectical Frameworks
Sort
View
JSYML
2011
89views more  JSYML 2011»
14 years 11 months ago
Iterative differential Galois theory in positive characteristic: A model theoretic approach
Abstract. This paper introduces a natural extension of Kolchin’s differential Galois theory to positive characteristic iterative differential fields, generalizing to the non-li...
Javier Moreno
SYNTHESE
2011
98views more  SYNTHESE 2011»
14 years 11 months ago
How scientific models can explain
: ic models invariably involve some degree of idealization, abstraction, or fictionalization of their target system. Nonetheless, I argue that there are circumstances under which s...
Alisa Bokulich
JCST
2010
153views more  JCST 2010»
14 years 11 months ago
Model Failure and Context Switching Using Logic-Based Stochastic Models
Abstract We define a notion of context that represents invariant, stable-over-time behavior in an environment and we propose an algorithm for detecting context changes in a stream ...
Nikita A. Sakhanenko, George F. Luger
JMIV
2010
106views more  JMIV 2010»
14 years 11 months ago
Parametric Estimation of Affine Transformations: An Exact Linear Solution
Abstract We consider the problem of estimating the geometric deformation of an object, with respect to some reference observation on it. Existing solutions, set in the standard coo...
Rami Hagege, Joseph M. Francos
JUCS
2010
135views more  JUCS 2010»
14 years 11 months ago
Model-driven Transformation and Validation of Adaptive Educational Hypermedia using CAVIAr
Abstract: Authoring of Adaptive Educational Hypermedia is a complex activity requiring the combination of a range of design and validation techniques. We demonstrate how Adaptive E...
Mark Melia, Claus Pahl