3914 search results - page 70 / 783 » Automating SLA modeling |
135
Voted
DAC
2001
ACM
16 years 8 months ago
2001
ACM
146
Voted
DAC
2002
ACM
16 years 8 months ago
2002
ACM
200
Voted
LICS
2009
IEEE
16 years 2 months ago
2009
IEEE
172
Voted
ECCV
2008
Springer
16 years 9 months ago
2008
Springer
We present a novel approach to 3D delineation of dendritic networks in noisy image stacks. We achieve a level of automation beyond that of stateof-the-art systems, which model dend...
175
Voted
SEFM
2009
IEEE
16 years 2 months ago
2009
IEEE
—This paper addresses the issue of guaranteeing the correctness of fault diagnosis mechanisms in multi-agent systems. We propose an automated approach to verifying the property o...