3235 search results - page 377 / 647 » Partial Redundant Modeling |
129
click to vote
CSFW
2005
IEEE
15 years 10 months ago
2005
IEEE
We study an automatic technique for the verification of cryptographic protocols based on a Horn clause model of the protocol. This technique yields proofs valid for an unbounded ...
153
click to vote
ICDAR
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper proposes a novel dewarping technique for document images of bound volumes. This technique is a kind of model fitting techniques for estimating the warp of each text li...
181
click to vote
ISM
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, a new model is proposed for image segmentation that integrates the curve evolution and anisotropic diffusion methods. The curve evolution method, utilizing both grad...
139
Voted
VLDB
2005
ACM
15 years 10 months ago
2005
ACM
SQL extensions that allow queries to explicitly specify data quality requirements in terms of currency and consistency were proposed in an earlier paper. This paper develops a dat...
138
Voted
CP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. One of the most appealing features of constraint programming is its rich constraint language for expressing combinatorial optimization problems. This paper demonstrates t...