2740 search results - page 326 / 548 » A Model-Based Approach To Requirements Analysis |
134
Voted
DAC
1998
ACM
16 years 4 months ago
1998
ACM
As VLSI circuit speeds have increased, reliable chip and system design can no longer be performed without accurate threedimensional interconnect models. In this paper, we describe...
117
Voted
MICCAI
2004
Springer
16 years 4 months ago
2004
Springer
Abstract. We propose a new method for removing topological defects in surfaces and volumes segmented from medical images. Unlike current topology correction approaches, we define a...
140
Voted
IPMI
1999
Springer
16 years 4 months ago
1999
Springer
Abstract. Automatic and semi-automatic magnetic resonance angiography (MRA) segmentation techniques can potentially save radiologists large amounts of time required for manual segm...
113
Voted
ICML
2009
IEEE
16 years 4 months ago
2009
IEEE
Recent approaches to learning structured predictors often require approximate inference for tractability; yet its effects on the learned model are unclear. Meanwhile, most learnin...
141
Voted
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
Program slicing is a technique to identify statements that may influence the computations at other statements. Precise slicing has been shown to be undecidable for concurrent prog...