3914 search results - page 70 / 783 » Automating SLA modeling |
85
Voted
DAC
2001
ACM
16 years 3 months ago
2001
ACM
DAC
2002
ACM
16 years 3 months ago
2002
ACM
125
Voted
LICS
2009
IEEE
15 years 9 months ago
2009
IEEE
105
click to vote
ECCV
2008
Springer
16 years 4 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...
108
click to vote
SEFM
2009
IEEE
15 years 9 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...