1596 search results - page 121 / 320 » Quantum property testing |
145
click to vote
IJCNN
2007
IEEE
16 years 10 days 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...
160
click to vote
SP
2006
IEEE
16 years 1 days 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...
134
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
The global search properties of heuristic search algorithms are not well understood. In this paper, we introduce a new metric, mobility, that quantifies the dispersion of local o...
149
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
This article provides an experimental analysis of the possibilistic handling of default rules. Three different nonmonotonic consequence relations are considered: minimum specifici...
136
click to vote
APN
2003
Springer
15 years 11 months ago
2003
Springer
One of the key issues of object-oriented modeling is inheritance. It allows for the definition of a subclass that inherits features from some superclass. When considering the dynam...