Sciweavers

849 search results - page 115 / 170
» Learning to Solve Problems from Exercises
Sort
View
TIT
2008
66views more  TIT 2008»
13 years 7 months ago
State Amplification
We consider the problem of transmitting data at rate over a state-dependent channel with state information available at the sender and at the same time conveying the information ab...
Young-Han Kim, Arak Sutivong, Thomas M. Cover
CAS
2007
87views more  CAS 2007»
13 years 7 months ago
An Accelerated Algorithm for Density Estimation in Large Databases Using Gaussian Mixtures
Today, with the advances of computer storage and technology, there are huge datasets available, offering an opportunity to extract valuable information. Probabilistic approaches ...
Alvaro Soto, Felipe Zavala, Anita Araneda
CADE
2008
Springer
14 years 8 months ago
MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...
Geoff Sutcliffe, Jirí Vyskocil, Josef Urban...
3DPVT
2004
IEEE
131views Visualization» more  3DPVT 2004»
13 years 11 months ago
Neural Mesh Ensembles
This paper proposes the use of neural network ensembles to boost the performance of a neural network based surface reconstruction algorithm. Ensemble is a very popular and powerfu...
Ioannis P. Ivrissimtzis, Yunjin Lee, Seungyong Lee...
EMNLP
2009
13 years 5 months ago
Graph Alignment for Semi-Supervised Semantic Role Labeling
Unknown lexical items present a major obstacle to the development of broadcoverage semantic role labeling systems. We address this problem with a semisupervised learning approach ...
Hagen Fürstenau, Mirella Lapata