173 search results - page 12 / 35 » Inferring Network Invariants Automatically |
MICCAI
2008
Springer
14 years 8 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...
ICIC
2005
Springer
14 years 26 days 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 ...
VMCAI
2009
Springer
14 years 2 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 ...
SUTC
2006
IEEE
14 years 1 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...
ASUNAM
2009
IEEE
13 years 5 months 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...