Sciweavers

5634 search results - page 17 / 1127
» About Abstract Classes
Sort
View
AIMSA
2000
Springer
15 years 2 months ago
Classification with Belief Decision Trees
Abstract. Decision trees are considered as an efficient technique to express classification knowledge and to use it. However, their most standard algorithms do not deal with uncert...
Zied Elouedi, Khaled Mellouli, Philippe Smets
ESORICS
2012
Springer
13 years 27 days ago
Dismantling iClass and iClass Elite
With more than 300 million cards sold, HID iClass is one of the most popular contactless smart cards on the market. It is widely used for access control, secure login and payment s...
Flavio D. Garcia, Gerhard de Koning Gans, Roel Ver...
WADT
1998
Springer
15 years 2 months ago
Moving Specification Structures Between Logical Systems
Abstract. The conditions under which a formal system for reasoning about structural specifications, built over one logical system could be reused for reasoning about structured spe...
Tomasz Borzyszkowski
FROCOS
2005
Springer
15 years 4 months ago
A Complete Temporal and Spatial Logic for Distributed Systems
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...
Dirk Pattinson, Bernhard Reus
ECCV
2010
Springer
15 years 3 months ago
ClassCut for Unsupervised Class Segmentation
Abstract. We propose a novel method for unsupervised class segmentation on a set of images. It alternates between segmenting object instances and learning a class model. The method...