4502 search results - page 707 / 901 » Regular Model Checking |
199
click to vote
EJASP
2010
15 years 1 months ago
2010
Given discrete event data, we wish to produce a probability density that can model the relative probability of events occurring in a spatial region. Common methods of density esti...
157
click to vote
JMLR
2010
15 years 29 days ago
2010
Much recent research has been devoted to learning algorithms for deep architectures such as Deep Belief Networks and stacks of auto-encoder variants, with impressive results obtai...
173
click to vote
JMLR
2010
15 years 29 days ago
2010
We present a polynomial update time algorithm for the inductive inference of a large class of context-free languages using the paradigm of positive data and a membership oracle. W...
158
click to vote
TSC
2010
15 years 26 days ago
2010
Today's data centers offer IT services mostly hosted on dedicated physical servers. Server virtualization provides a technical means for server consolidation. Thus, multiple v...
178
click to vote
TSP
2010
15 years 25 days ago
2010
Abstract--This paper deals with the reconstruction of T1-T2 correlation spectra in nuclear magnetic resonance relaxometry. The ill-posed character and the large size of this invers...