Sciweavers

44651 search results - page 26 / 8931
» Generalized
Sort
View
LICS
2005
IEEE
14 years 3 months ago
Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
Patrice Godefroid, Michael Huth
GBRPR
2005
Springer
14 years 3 months ago
Pyramids of n-Dimensional Generalized Maps
Graph pyramids are often used for representing irregular image pyramids. For the 2D case, combinatorial pyramids have been recently defined in order to explicitly represent more ...
Carine Grasset-Simon, Guillaume Damiand, Pascal Li...
COLT
2006
Springer
14 years 1 months ago
Maximum Entropy Distribution Estimation with Generalized Regularization
Abstract. We present a unified and complete account of maximum entropy distribution estimation subject to constraints represented by convex potential functions or, alternatively, b...
Miroslav Dudík, Robert E. Schapire
WOB
2008
128views Bioinformatics» more  WOB 2008»
13 years 11 months ago
Tests for Gene Clusters Satisfying the Generalized Adjacency Criterion
Abstract. We study a parametrized definition of gene clusters that permits control over the trade-off between increasing gene content versus conserving gene order within a cluster....
Ximing Xu, David Sankoff
COGSCI
2010
105views more  COGSCI 2010»
13 years 10 months ago
The Role of Explanation in Discovery and Generalization: Evidence From Category Learning
Research in education and cognitive development suggests that explaining plays a key role in learning and generalization: When learners provide explanations--even to themselves--t...
Joseph J. Williams, Tania Lombrozo