Sciweavers

2436 search results - page 168 / 488
» Comonadic Notions of Computation
Sort
View
JUCS
2007
95views more  JUCS 2007»
15 years 4 months ago
Using Place Invariants and Test Point Placement to Isolate Faults in Discrete Event Systems
: This paper describes a method of using Petri net P-invariants in system diagnosis. To model this process a net oriented fault classification is presented. Hence, the considered d...
Iwan Tabakow
CIE
2005
Springer
15 years 10 months ago
Schnorr Dimension
Following Lutz’s approach to effective (constructive) dimension, we define a notion of dimension for individual sequences based on Schnorr’s concept(s) of randomness. In contr...
Rodney G. Downey, Wolfgang Merkle, Jan Reimann
AICCSA
2005
IEEE
113views Hardware» more  AICCSA 2005»
15 years 6 months ago
Towards autonomic Web services
Autonomic Computing was introduced to reduce the complexity of managing computing systems; however, the heterogeneous nature existing in most computing systems introduces some dif...
Amir Zeid, Sherif A. Gurguis
CVPR
2006
IEEE
16 years 6 months ago
Hierarchical Procrustes Matching for Shape Retrieval
We introduce Hierarchical Procrustes Matching (HPM), a segment-based shape matching algorithm which avoids problems associated with purely global or local methods and performs wel...
Graham McNeill, Sethu Vijayakumar
ECCV
1994
Springer
16 years 6 months ago
Intrinsic Stabilizers of Planar Curves
Abstract. Regularization o ers a powerful framework for signal reconstruction by enforcing weak constraints through the use of stabilizers. Stabilizers are functionals measuring th...
Herve Delingette