Sciweavers

1977 search results - page 261 / 396
» The satisfactory partition problem
Sort
View
IPCO
2008
188views Optimization» more  IPCO 2008»
15 years 5 months ago
Binary Positive Semidefinite Matrices and Associated Integer Polytopes
We consider the positive semidefinite (psd) matrices with binary entries. We give a characterisation of such matrices, along with a graphical representation. We then move on to co...
Adam N. Letchford, Michael M. Sørensen
119
Voted
AAAI
2006
15 years 5 months ago
A Two-Step Hierarchical Algorithm for Model-Based Diagnosis
For many large systems the computational complexity of complete model-based diagnosis is prohibitive. In this paper we investigate the speedup of the diagnosis process by exploiti...
Alexander Feldman, Arjan J. C. van Gemund
144
Voted
DBA
2004
113views Database» more  DBA 2004»
15 years 5 months ago
A Quality Measure for Distributed Clustering
Clustering has become an increasingly important task in modern application domains. Mostly, the data are originally collected at different sites. In order to extract information f...
Eshref Januzaj, Hans-Peter Kriegel, Martin Pfeifle
125
Voted
CSREAESA
2006
15 years 5 months ago
Power Optimization of Interconnection Networks for Transport Triggered Architecture
Transport triggered architecture (TTA) has been shown to provide an efficient way to design application specific instruction set processors. However, the interconnection network of...
Xue-mi Zhao, Zhiying Wang
136
Voted
IASTEDSEA
2004
15 years 5 months ago
Java bytecode verification with dynamic structures
Java applets run on a Virtual Machine that checks code's integrity and correctness before execution using a module called Bytecode Verifier. Java Card technology allows Java ...
Cinzia Bernardeschi, Luca Martini, Paolo Masci