6020 search results - page 652 / 1204 » A New Approach to Model Counting |
202
click to vote
ICPR
2000
IEEE
16 years 8 months ago
2000
IEEE
This paper describes an approach to attention based layout segmentation using general principles of the human visual perception to achieve this goal. The text is considered as tex...
213
click to vote
MICCAI
2003
Springer
16 years 8 months ago
2003
Springer
We introduce a new method for segmentation of 3D medical data based on geometric variational principles. A minimal variance criterion is coupled with a geometric edge alignment mea...
192
click to vote
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
We develop a generic framework for the analysis of programs with recursive procedures and dynamic process creation. To this end we combine the approach of weighted pushdown systems...
166
click to vote
ICCAD
2004
IEEE
16 years 4 months ago
2004
IEEE
This paper introduces an efficient and accurate interconnect simulation technique. A new formulation for typical VLSI interconnect structures is proposed which, in addition to pr...
188
click to vote
IAT
2009
IEEE
16 years 2 months ago
2009
IEEE
In this paper, we present a new approach, called SATIS (Semantically AnnotaTed Intentions for Services), relying on semantic web technologies and models, to assist collaboration a...