9067 search results - page 1453 / 1814 » Adaptive Model Checking |
214
click to vote
ICML
2009
IEEE
16 years 8 months ago
2009
IEEE
Sparse coding--that is, modelling data vectors as sparse linear combinations of basis elements--is widely used in machine learning, neuroscience, signal processing, and statistics...
171
click to vote
ISBI
2008
IEEE
16 years 8 months ago
2008
IEEE
Due to the random nature of photon emission and the various internal noise sources of the detectors, real timelapse fluorescence microscopy images are usually modeled as the sum o...
177
click to vote
KDD
2006
ACM
16 years 7 months ago
2006
ACM
A new class of associations (polynomial itemsets and polynomial association rules) is presented which allows for discovering nonlinear relationships between numeric attributes wit...
218
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
Abstract. In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equ...
224
click to vote
ICALP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We propose the study of graphs that are defined by lowcomplexity distributed and deterministic agents. We suggest that this viewpoint may help introduce the element of in...