955 search results - page 138 / 191 » Model Checking Operator Procedures |
124
click to vote
ATAL
2001
Springer
15 years 6 months ago
2001
Springer
We develop an approach in which we model communication protocols via commitment machines. Commitment machines supply a content to protocol states and actions in terms of the social...
110
Voted
ICPR
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper provides a generalization of non-reducible descriptors by extending the concept of distance between patterns of di erent classes. Generalized non-reducible descriptors ...
118
click to vote
CISC
2007
Springer
15 years 6 months ago
2007
Springer
Public key encryption with keyword search (PEKS) enables user Alice to send a secret key TW to a server that will enable the server to locate all encrypted messages containing the...
132
Voted
ICANN
2009
Springer
2009
Springer
Profiling of Mass Spectrometry Data for Ovarian Cancer Detection Using Negative Correlation Learning
15 years 6 months ago
This paper proposes a novel Mass Spectrometry data profiling method for ovarian cancer detection based on negative correlation learning (NCL). A modified Smoothed Nonlinear Energy ...
119
click to vote
3DPVT
2006
IEEE
15 years 6 months ago
2006
IEEE
We propose artificial potential fields as a support theory for a feature linking algorithm. This algorithm operates on 3D triangle meshes derived from multiple range scans of an o...