4250 search results - page 342 / 850 » Understanding the Requirements on Modelling Techniques |
191
click to vote
IPMI
1999
Springer
16 years 7 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...
222
click to vote
VLSID
2004
IEEE
16 years 7 months ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...
170
click to vote
DFT
2008
IEEE
16 years 1 months ago
2008
IEEE
Error detection/correction techniques have been advocated for algorithmic self-assembly. Under rectilinear growth, it requires only two additional tiles, generally referred to as ...
177
click to vote
NAACL
2004
15 years 8 months ago
2004
We present a technique for augmenting annotated training data with hierarchical word clusters that are automatically derived from a large unannotated corpus. Cluster membership is...
145
click to vote
NPAR
2006
ACM
16 years 23 days ago
2006
ACM
In recent years considerable interest has been given to nonphotorealistic rendering of photographs, video, and 3D models for illustrative or artistic purposes. Conventional 2D inp...