Sciweavers

1516 search results - page 169 / 304
» On the Learnability of Vector Spaces
Sort
View
ICMLA
2003
14 years 11 months ago
A Distributed Reinforcement Learning Approach to Pattern Inference in Go
— This paper shows that the distributed representation found in Learning Vector Quantization (LVQ) enables reinforcement learning methods to cope with a large decision search spa...
Myriam Abramson, Harry Wechsler
ENTCS
2008
132views more  ENTCS 2008»
14 years 10 months ago
Distributed Verification of Multi-threaded C++ Programs
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
Stefan Edelkamp, Shahid Jabbar, Damian Sulewski
CORR
2006
Springer
108views Education» more  CORR 2006»
14 years 10 months ago
Static Analysis using Parameterised Boolean Equation Systems
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex...
María-del-Mar Gallardo, Christophe Joubert,...
VLSISP
1998
140views more  VLSISP 1998»
14 years 9 months ago
Audio Feature Extraction and Analysis for Scene Segmentation and Classification
Understanding of the scene content of a video sequence is very important for content-based indexing and retrieval of multimedia databases. Research in this area in the past severa...
Zhu Liu, Yao Wang, Tsuhan Chen
CORR
2010
Springer
115views Education» more  CORR 2010»
14 years 8 months ago
Tight oracle bounds for low-rank matrix recovery from a minimal number of random measurements
This paper presents several novel theoretical results regarding the recovery of a low-rank matrix from just a few measurements consisting of linear combinations of the matrix entr...
Emmanuel J. Candès, Yaniv Plan