1957 search results - page 60 / 392 » Approximate algorithms for neural-Bayesian approaches |
LICS
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper we introduce “clipping,” a new method of syntactic approximation which is motivated by and works in conjunction with a sound and decidable denotational model for...
ICCBR
2009
Springer
15 years 4 months ago
2009
Springer
This paper presents a new approach for spatial event prediction that combines a value function approximation algorithm and case-based reasoning predictors. Each of these predictors...
DAC
2009
ACM
15 years 1 months ago
2009
ACM
Power grid verification in modern integrated circuits is an integral part of early system design where adjustments can be most easily incorporated. In this work, we describe an ea...
184
click to vote
ICDE
2006
IEEE
15 years 11 months ago
2006
IEEE
Todays abundance of storage coupled with digital technologies in virtually any scientific or commercial application such as medical and biological imaging or music archives deal w...
ICASSP
2008
IEEE
15 years 4 months ago
2008
IEEE
Finding sparse approximate solutions to large underdetermined linear systems of equations is a common problem in signal/image processing and statistics. Basis pursuit, the least a...