1071 search results - page 51 / 215 » Theories of Automatic Structures and Their Complexity |
123
click to vote
PKDD
2007
Springer
15 years 10 months ago
2007
Springer
Most knowledge discovery processes are biased since some part of the knowledge structure must be given before extraction. We propose a framework that avoids this bias by supporting...
153
click to vote
CVPR
2006
IEEE
16 years 6 months ago
2006
IEEE
We develop theory and algorithms to incorporate image manifold constraints in a level set segmentation algorithm. This provides a framework to simultaneously segment every image o...
127
click to vote
NJC
2006
15 years 4 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
131
Voted
DOCENG
2004
ACM
15 years 9 months ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
131
click to vote
VVS
1998
IEEE
15 years 8 months ago
1998
IEEE
Although direct volume rendering is a powerful tool for visualizing complex structures within volume data, the size and complexity of the parameter space controlling the rendering...