Sciweavers

13383 search results - page 2302 / 2677
» Abstractions from proofs
Sort
View
JCAL
2010
93views more  JCAL 2010»
14 years 11 months ago
The modality effect tested in children in a user-paced multimedia environment
Abstract The modality learning effect proposes that learning is enhanced when information is presented in both the visual and the auditory domains (e.g. pictures and spoken informa...
Marijt J. Witteman, Eliane Segers
JMLR
2010
143views more  JMLR 2010»
14 years 11 months ago
Incremental Sigmoid Belief Networks for Grammar Learning
We propose a class of Bayesian networks appropriate for structured prediction problems where the Bayesian network's model structure is a function of the predicted output stru...
James Henderson, Ivan Titov
MIA
2010
128views more  MIA 2010»
14 years 11 months ago
Segmentation of image ensembles via latent atlases
Abstract. Spatial priors, such as probabilistic atlases, play an important role in MRI segmentation. However, the availability of comprehensive, reliable and suitable manual segmen...
Tammy Riklin-Raviv, Koen Van Leemput, Bjoern H. Me...
MICRO
2010
IEEE
143views Hardware» more  MICRO 2010»
14 years 11 months ago
SD3: A Scalable Approach to Dynamic Data-Dependence Profiling
Abstract--As multicore processors are deployed in mainstream computing, the need for software tools to help parallelize programs is increasing dramatically. Data-dependence profili...
Minjang Kim, Hyesoon Kim, Chi-Keung Luk
ML
2010
ACM
175views Machine Learning» more  ML 2010»
14 years 11 months ago
Concept learning in description logics using refinement operators
With the advent of the Semantic Web, description logics have become one of the most prominent paradigms for knowledge representation and reasoning. Progress in research and applica...
Jens Lehmann, Pascal Hitzler
« Prev « First page 2302 / 2677 Last » Next »