898 search results - page 51 / 180 » Transitions of the Pre-Symmetry Set |
TSMC
1998
14 years 9 months ago
1998
—The paper discusses how Petri nets may be used for the qualitative modeling of physical systems. The qualitative state of a system is represented by the marking of the net. The ...
TVLSI
1998
14 years 9 months ago
1998
— This paper presents a solution to the problem of reducing the power dissipated by a digital system containing an intellectual proprietary core processor which repeatedly execut...
LOGCOM
2010
14 years 8 months ago
2010
Abstract This paper investigates expressivity of modal logics for transition systems, multitransition systems, Markov chains, and Markov processes, as coalgebras of the powerset, ï...
103
click to vote
PAAMS
2010
Springer
14 years 7 months ago
2010
Springer
In this paper we present a novel algorithm, named GBAP, that jointly uses automatic programming with ant colony optimization for mining classification rules. GBAP is based on a con...
102
click to vote
ANCS
2009
ACM
14 years 7 months ago
2009
ACM
Pattern matching is the most computation intensive task of a network intrusion detection system (NIDS). In this paper we present a hardware architecture to speed up the pattern mat...