Sciweavers

1455 search results - page 72 / 291
» Exploiting Myopic Learning
Sort
View
APLAS
2010
ACM
15 years 3 days ago
Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates
Abstract. By combining algorithmic learning, decision procedures, predicate abstraction, and simple templates, we present an automated technique for finding quantified loop invaria...
Soonho Kong, Yungbum Jung, Cristina David, Bow-Yaw...
ICASSP
2010
IEEE
15 years 2 days ago
Learning sparse systems at sub-Nyquist rates: A frequency-domain approach
We propose a novel algorithm for sparse system identification in the frequency domain. Key to our result is the observation that the Fourier transform of the sparse impulse respo...
Martin McCormick, Yue M. Lu, Martin Vetterli
CE
2007
93views more  CE 2007»
14 years 12 months ago
Web3D technologies in learning, education and training
Web3D open standards allow the delivery of interactive 3D virtual learning environments through the Internet, reaching potentially large numbers of learners worldwide, at any time...
Luca Chittaro, Roberto Ranon
JMLR
2000
134views more  JMLR 2000»
14 years 11 months ago
Learning with Mixtures of Trees
This paper describes the mixtures-of-trees model, a probabilistic model for discrete multidimensional domains. Mixtures-of-trees generalize the probabilistic trees of Chow and Liu...
Marina Meila, Michael I. Jordan
IJDE
2002
66views more  IJDE 2002»
14 years 11 months ago
A Lessons Learned Repository for Computer Forensics
The Law Enforcement community possesses a large, but informal, community memory with respect to digital forensics. Large, because the experiences of every forensics technician and...
Warren Harrison, George Heuston, Mark Morrissey, D...