173 search results - page 12 / 35 » Inferring Network Invariants Automatically |
99
Voted
MICCAI
2008
Springer
16 years 4 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...
108
Voted
ICIC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. As the information in the internet proliferates, the methods for effectively providing the information have been exploited, especially in conversational agents. Bayesian ...
116
click to vote
VMCAI
2009
Springer
15 years 9 months ago
2009
Springer
We present the first shape analysis for multithreaded programs that avoids the explicit enumeration of execution-interleavings. Our approach is to automatically infer a resource ...
172
Voted
SUTC
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— Sensor networks are being increasingly deployed for collecting critical data in various applications. Once deployed, a sensor network may experience faults at the indiv...
149
Voted
ASUNAM
2009
IEEE
15 years 18 days ago
2009
IEEE
With hundreds of millions of users already today, virtual worlds will become an important factor in tomorrow's media landscape. In a virtual world, users are represented by s...