1492 search results - page 107 / 299 » Testing Properties of Constraint-Graphs |
93
Voted
ICIP
2001
IEEE
16 years 5 months ago
2001
IEEE
In this paper, we present a scalable algorithm for indexing and retrieving images based on region segmentation. The method uses statistical clustering on region features and IRM (...
141
Voted
ICIP
2009
IEEE
16 years 4 months ago
2009
IEEE
In this paper a framework for Image Quality Assessment (IQA) is introduced based on the properties of Receptive Fields (RFs) which are the primary mechanism for detection of visua...
116
click to vote
IJCNN
2007
IEEE
15 years 10 months ago
2007
IEEE
—In this paper, a new model that can ultimately create its own set of perceptual features is proposed. Using a bidirectional associative memory (BAM)-inspired architecture, the r...
134
Voted
SP
2006
IEEE
15 years 9 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
114
click to vote
IV
2005
IEEE
15 years 9 months ago
2005
IEEE
We have developed a visual syntax for representing concepts that are contingent on temporal properties (timedependent semantics). A within-group (N=24) experiment was conducted to...