Sciweavers

36320 search results - page 678 / 7264
» From Code to Models
Sort
View
JMLR
2010
195views more  JMLR 2010»
15 years 5 months ago
Online Learning for Matrix Factorization and Sparse Coding
Sparse coding—that is, modelling data vectors as sparse linear combinations of basis elements—is widely used in machine learning, neuroscience, signal processing, and statisti...
Julien Mairal, Francis Bach, Jean Ponce, Guillermo...
CORR
2011
Springer
188views Education» more  CORR 2011»
15 years 2 months ago
Information-Theoretic Viewpoints on Optimal Causal Coding-Decoding Problems
—In this paper we consider an interacting two-agent sequential decision-making problem consisting of a Markov source process, a causal encoder with feedback, and a causal decoder...
Siva K. Gorantla, Todd P. Coleman
ICML
2005
IEEE
16 years 8 months ago
Learning Gaussian processes from multiple tasks
We consider the problem of multi-task learning, that is, learning multiple related functions. Our approach is based on a hierarchical Bayesian framework, that exploits the equival...
Kai Yu, Volker Tresp, Anton Schwaighofer
TAP
2007
Springer
92views Hardware» more  TAP 2007»
16 years 1 months ago
Generating Unit Tests from Formal Proofs
We present a new automatic test generation method for JAVA CARD based on attempts at formal verification of the implementation under test (IUT). Self-contained unit tests in JUnit...
Christian Engel, Reiner Hähnle
SMA
2003
ACM
116views Solid Modeling» more  SMA 2003»
16 years 14 days ago
Adaptive and quality 3D meshing from imaging data
Yongjie Zhang, Chandrajit L. Bajaj, Bong-Soo Sohn