5169 search results - page 226 / 1034 » Locality approximation using time |
224
click to vote
ICFEM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
158
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
— In this paper, we study sensor enabled landmine networks by formulating a minimum-cost mine selection problem. The problem arises in a target defence scenario, where the object...
152
click to vote
MICCAI
2008
Springer
16 years 7 months ago
2008
Springer
In this paper, we propose a so-called AutoGate algorithm for fast and automatic Doppler gate localization in B-mode echocardiography. The algorithm has two components: 1) cardiac s...
201
click to vote
COMPGEOM
2005
ACM
15 years 8 months ago
2005
ACM
We present a near linear time algorithm for constructing hierarchical nets in finite metric spaces with constant doubling dimension. This data-structure is then applied to obtain...
186
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
Osteoarthritis (OA) involves changes in the composition and ultimately the loss of cartilage from articulating joints. MRI has the ability to non-invasively probe the compositional...