3820 search results - page 616 / 764 » Bounded Model Debugging |
91
Voted
ISBI
2009
IEEE
15 years 9 months ago
2009
IEEE
Fluorescence localization microscopy (i.e., PALM, STORM) has enabled optical imaging at nanometer-scale resolutions. The localization algorithms used in these techniques rely on ...
128
click to vote
ARC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Monte Carlo simulation is one of the most widely used techniques for computationally intensive simulations in mathematical analysis and modeling. A multivariate Gaussian ...
113
Voted
EDBT
2009
ACM
15 years 9 months ago
2009
ACM
This work addresses the problem of processing continuous nearest neighbor (NN ) queries for moving objects trajectories when the exact position of a given object at a particular t...
FOSSACS
2009
Springer
15 years 9 months ago
2009
Springer
There is growing interest in quantitative theories of information flow in a variety of contexts, such as secure information flow, anonymity protocols, and side-channel analysis. ...
102
click to vote
STACS
2009
Springer
15 years 9 months ago
2009
Springer
We study data structures in the presence of adversarial noise. We want to encode a given object in a succinct data structure that enables us to efficiently answer specific queries...