290 search results - page 39 / 58 » Congruence for Structural Congruences |
JLP
2007
14 years 9 months ago
2007
The behavioral equivalence that is typically used to relate Markovian process terms and to reduce their underlying state spaces is Markovian bisimilarity. One of the reasons is th...
IJNSEC
2010
14 years 4 months ago
2010
Digital Signature Algorithm (DSA) is an underlying algorithm to form a signature in the Digital Signature Standard (DSS). DSA uses a new random number (or nonce) each time a signa...
118
click to vote
Source Code
Great Matlab and Octave function implementation for hot computer vision algorithms such as Feature detection via Phase Congruency, Spatial feature detection, Non-maxima suppression...
82
Voted
ICPR
2002
IEEE
15 years 10 months ago
2002
IEEE
We present a pose estimation method from an initial unreliable guess using calibrated stereo images. The approach does not rely on a priori known salient features on the surface. ...
SFM
2007
Springer
15 years 3 months ago
2007
Springer
Markovian behavioral equivalences are a means to relate and manipulate the formal descriptions of systems with an underlying CTMC semantics. There are three fundamental approaches ...