6102 search results - page 326 / 1221 » Generating Optimizing Specializers |
131
Voted
APN
2001
Springer
15 years 7 months ago
2001
Springer
We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...
130
Voted
DATESO
2004
15 years 5 months ago
2004
Approach based on clustering will be described in our paper. Basic version of our system was given in [5] allows us to expand query through special index. Hierarchical agglomerativ...
126
Voted
NIPS
2001
15 years 5 months ago
2001
We give results about the learnability and required complexity of logical formulae to solve classification problems. These results are obtained by linking propositional logic with...
133
Voted
NIPS
2003
15 years 5 months ago
2003
Learning from ambiguous training data is highly relevant in many applications. We present a new learning algorithm for classification problems where labels are associated with se...
127
Voted
ICISC
1998
15 years 4 months ago
1998
Abstract. Protocols for authentication and key establishment have special requirements in a wireless environment. In the next generation of wireless systems it is likely that publi...