6978 search results - page 302 / 1396 » Reframing Requirements Analysis |
175
click to vote
DAC
1995
ACM
15 years 10 months ago
1995
ACM
Our goal is to transform a low-level circuit design into a more representation. A pre-existing tool, Tranalyze [4], takes a switch-level circuit and generates a functionally equiv...
157
click to vote
JDA
2007
15 years 6 months ago
2007
Path coupling is a useful technique for simplifying the analysis of a coupling of a Markov chain. Rather than defining and analysing the coupling on every pair in Ω×Ω, where...
213
click to vote
COMCOM
2011
15 years 1 months ago
2011
In the very active field of complex networks, research advances have largely been stimulated by the availability of empirical data and the increase in computational power needed ...
178
Voted
MICCAI
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. We present a new method for the simultaneous, nearly automatic segmentation of liver contours, vessels, and metastatic lesions from abdominal CTA scans. The method repeat...
140
click to vote
MICCAI
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. The "discriminative direction" has been proven useful to reveal the subtle difference between two anatomical shape classes. When a shape moves along this direct...