2356 search results - page 273 / 472 » Characterizations of postman sets |
174
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper we present the architecture and framework for a benchmark suite that has been developed as part of the DeSiDeRaTa project. The proposed benchmark suite is representat...
188
click to vote
FCT
1999
Springer
15 years 10 months ago
1999
Springer
The aim of this paper is to investigate the relation between two models of concurrent systems: tile rewrite systems and coalgebras. Tiles are rewrite rules with side e ects which a...
163
click to vote
LPNMR
1999
Springer
15 years 10 months ago
1999
Springer
We introduce choice logic programs as negation-free datalog programs that allow rules to have exclusive-only (possibly empty) disjunctions in the head. Such programs naturally mod...
191
click to vote
SBRN
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper we investigate alternative designs of a Radial Basis Function Network acting as classifier in a face recognition system. Input to the RBF network is the projections ...
179
click to vote
ASPDAC
1998
ACM
15 years 10 months ago
1998
ACM
— Test Pattern Generation for combinational circuits entails the identification of primary input assignments for detecting each fault in a set of target faults. An extension to ...