71 search results - page 11 / 15 » Partial Order Reduction for Probabilistic Branching Time |
124
Voted
APN
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We study probabilistic safe Petri nets, a probabilistic extension of safe Petri nets interpreted under the true-concurrent semantics. In particular, the likelihood of pro...
159
Voted
COCOON
2005
Springer
15 years 5 months ago
2005
Springer
The Maximum Common Subgraph (MCS) problem appears in many guises and in a wide variety of applications. The usual goal is to take as inputs two graphs, of order m and n, respectiv...
158
Voted
TCOM
2011
14 years 10 months ago
2011
—An iterative algorithm employing decision feedback provided by either an equalizer or a channel decoder is proposed in order to compensate for the phase noise resulting from imp...
133
Voted
ICPR
2002
IEEE
15 years 8 months ago
2002
IEEE
We present a fast method for locating iris features in frontal face images based on the Hough transform. It consists of an initial iris detection step and a tracking step which us...
194
Voted
CVPR
2007
IEEE
16 years 5 months ago
2007
IEEE
This paper describes a patch-based approach for rapid image correlation or template matching. By representing a template image with an ensemble of patches, the method is robust wi...