8555 search results - page 365 / 1711 » Property Based Coordination |
162
click to vote
DATE
2005
IEEE
16 years 1 months ago
2005
IEEE
Structural testing techniques, such as statement and branch coverage, play an important role in improving dependability of software systems. However, finding a set of tests which...
207
click to vote
ICPR
2002
IEEE
16 years 16 days ago
2002
IEEE
This paper presents a metric based on information theory principles that compares 3D object models to images. The metric is based on the formulation of the mutual information betw...
208
click to vote
IWVF
2001
Springer
16 years 1 days ago
2001
Springer
We present a 2D shape recognition and classification method based on matching shape outlines. The correspondence between outlines (curves) is based on a notion of an alignment cur...
240
click to vote
FSE
1994
Springer
15 years 11 months ago
1994
Springer
In this paper we present an improvement of the differential attack on hash functions based on block ciphers. By using the specific properties of the collision attack on hash functi...
196
click to vote
AAAI
2007
15 years 10 months ago
2007
This paper presents a new approach for merging prioritized knowledge bases in possibilistic logic. Our approach is semantically defined by a model-based merging operator in propo...