Sciweavers

2223 search results - page 166 / 445
» Events in Property Patterns
Sort
View
ISCAS
1999
IEEE
93views Hardware» more  ISCAS 1999»
15 years 7 months ago
Probability distribution of the switching intervals in chaotic pulse streams-a comparative study
In switched dynamic system the continuous phase ow is accompanied by a stream of switching events. If the system exhibits chaotic behavior this event stream can be used for gener...
T. Tsubone, T. Saito, Wolfgang M. Schwarz
103
Voted
SCL
2008
101views more  SCL 2008»
15 years 3 months ago
Stability of nonlinear asynchronous systems
Abstract-- In this work, we focus on a class of nonlinear asynchronous systems defined by two different modes of operation, one stable and the other one unstable. The switching bet...
David Muñoz de la Peña, Panagiotis D...
132
Voted
ICASSP
2011
IEEE
14 years 7 months ago
Classifying soundtracks with audio texture features
Sound textures may be defined as sounds whose character depends on statistical properties as much as the specific details of each individually-perceived event. Recent work has d...
Daniel P. W. Ellis, Xiaohong Zeng, Josh H. McDermo...
102
Voted
TPHOL
2003
IEEE
15 years 8 months ago
A Coverage Checking Algorithm for LF
Coverage checking is the problem of deciding whether any closed term of a given type is an instance of at least one of a given set of patterns. It can be used to verify if a functi...
Carsten Schürmann, Frank Pfenning
ANCS
2009
ACM
15 years 1 months ago
A NFA-based programmable regular expression match engine
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...
Derek Pao