3356 search results - page 154 / 672 » Determining Consensus Numbers |
DAC
1995
ACM
14 years 1 months ago
1995
ACM
—Embedded computer systems are characterized by the presence of a processor running application-specific dedicated software. A large number of these systems must satisfy real-ti...
ECAI
2008
Springer
13 years 12 months ago
2008
Springer
Abstract. We propose a SAT-based algorithm for incremental diagnosis of discrete-event systems. The monotonicity is ensured by a prediction window that uses the future observations...
LREC
2008
13 years 11 months ago
2008
The paper presents two experiments of unsupervised classification of Italian noun phrases. The goal of the experiments is to identify the most prominent contextual properties that...
ASC
2007
13 years 10 months ago
2007
We present the results of our investigation into the use of Genetic Algorithms (GAs) for identifying near optimal design parameters of diagnostic systems that are based on Artifici...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
One peculiarity with deletion-correcting codes is that perfect t-deletion-correcting codes of the same length over the same alphabet can have different numbers of codewords, becaus...