6906 search results - page 1079 / 1382 » An algorithm for modelling key terms |
142
click to vote
DAC
2009
ACM
15 years 10 months ago
2009
ACM
We present a novel technique for Sequential Equivalence Checking (SEC) between non-cycle-accurate designs. The problem is routinely encountered in verifying the correctness of a s...
202
click to vote
MM
2009
ACM
15 years 10 months ago
2009
ACM
Television news has become the predominant way of understanding the world around us, but individual news broadcasters can frame or mislead an audience’s understanding of politic...
178
click to vote
MICCAI
2009
Springer
15 years 10 months ago
2009
Springer
We propose a recursive Bayesian model for the delineation of coronary arteries from 3D CT angiograms (cardiac CTA) and discuss the use of discrete minimal path techniques as an e�...
162
click to vote
CONTEXT
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. In order to be useful, intelligent information retrieval agents must provide their users with context-relevant information. This paper presents WordSieve, an algorithm fo...
162
click to vote
SIGGRAPH
1998
ACM
15 years 10 months ago
1998
ACM
In this paper we disprove the belief widespread within the computer graphics community that Catmull-Clark subdivision surfaces cannot be evaluated directly without explicitly subd...