819 search results - page 130 / 164 » Using Assumptions to Distribute CTL Model Checking |
89
Voted
ICRA
2007
IEEE
15 years 4 months ago
2007
IEEE
— Recent advances in machine learning and adaptive motor control have enabled efficient techniques for online learning of stationary plant dynamics and it’s use for robust pre...
77
Voted
ITC
1996
IEEE
15 years 2 months ago
1996
IEEE
common use is the distinction into two (abstract) fault models: A new fault modelling scheme for integrated analogue general the "Single Hard Fault Model (SHFM)" and the ...
88
Voted
ICB
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Our goal is to extract consistent bits from the same fingerprint in a noisy environment. Such bits can then be used as a secret key in several cryptographic applications...
IJCV
2007
14 years 10 months ago
2007
The parameter space for the ellipses in a two dimensional image is a five dimensional manifold, where each point of the manifold corresponds to an ellipse in the image. The parame...
99
Voted
ACNS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Several researchers have proposed the use of threshold cryptographic model to enable secure communication in ad hoc networks without the need of a trusted center. In this...