391 search results - page 16 / 79 » Sortabilities of Partition Properties |
ICSE
2009
IEEE-ACM
13 years 6 months ago
2009
IEEE-ACM
Aerospace systems have strict dependability and real-time requirements, as well as a need for flexible resource reallocation and reduced size, weight and power consumption. To cope...
ENTCS
2006
13 years 8 months ago
2006
In this paper we describe an algorithm for distributed, BDD-based bounded property checking and its implementation in the verification tool SymC. The distributed algorithm verifie...
ICPR
2008
IEEE
14 years 2 months ago
2008
IEEE
To find how many clusters in a sample set is an old yet unsolved problem in unsupervised clustering. Many segmentation methods require the user to specify the number of regions in...
RSCTC
2000
Springer
14 years 2 days ago
2000
Springer
The main task in decision tree construction algorithms is to find the "best partition" of the set of objects. In this paper, we investigate the problem of optimal binary ...
GBRPR
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. Combinatorial maps define a general framework which allows to encode any subdivision of an nD orientable quasi-manifold with or without boundaries. Combinatorial pyramids...