Sciweavers

6456 search results - page 1063 / 1292
» Constraint Solving on Terms
Sort
View
APAL
2008
87views more  APAL 2008»
15 years 6 months ago
Characterising nested database dependencies by fragments of propositional logic
We extend the earlier results on the equivalence between the Boolean and the multivalued dependencies in relational databases and fragments of the Boolean propositional logic. It ...
Sven Hartmann, Sebastian Link
AUTOMATICA
2008
134views more  AUTOMATICA 2008»
15 years 6 months ago
Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
In this work, probabilistic reachability over a finite horizon is investigated for a class of discrete time stochastic hybrid systems with control inputs. A suitable embedding of ...
Alessandro Abate, Maria Prandini, John Lygeros, Sh...
COGSCI
2010
103views more  COGSCI 2010»
15 years 6 months ago
A Computational Account of the Development of the Generalization of Shape Information
Abecassis, Sera, Yonas, and Schwade (2001) have shown that young children represent shapes more metrically, and perhaps more holistically, than do older children and adults. How d...
Leonidas A. A. Doumas, John E. Hummel
CORR
2010
Springer
84views Education» more  CORR 2010»
15 years 6 months ago
Left-Inverses of Fractional Laplacian and Sparse Stochastic Processes
The fractional Laplacian (-)/2 commutes with the primary coordination transformations in the Euclidean space Rd: dilation, translation and rotation, and has tight link to splines, ...
Qiyu Sun, Michael Unser
CORR
2010
Springer
150views Education» more  CORR 2010»
15 years 6 months ago
Extraction of Symbolic Rules from Artificial Neural Networks
Although backpropagation ANNs generally predict better than decision trees do for pattern classification problems, they are often regarded as black boxes, i.e., their predictions c...
S. M. Kamruzzaman, Md. Monirul Islam
« Prev « First page 1063 / 1292 Last » Next »