77 search results - page 11 / 16 » On Boundedness Problems for Pushdown Vector Addition Systems |
AINA
2004
IEEE
15 years 2 months ago
2004
IEEE
Abstract-- As intrusion detection essentially can be formulated as a binary classification problem, it thus can be solved by an effective classification technique-Support Vector Ma...
ICPR
2010
IEEE
15 years 4 months ago
2010
IEEE
The information of the psycho-physical state of the subject is becoming a valuable addition to the modern audio or video recognition systems. As well as enabling a better user exp...
101
click to vote
MCU
2007
14 years 11 months ago
2007
We review some results about the computational power of several computational models. Considered models have in common to be related to continuous dynamical systems. 1 Dynamical Sy...
84
Voted
NC
2010
14 years 8 months ago
2010
Abstract. Inspired by P systems initiated by Gheorghe P˜aun, we study a computation model over a multiset of communicating objects. The objects in our model are instances of fini...
117
Voted
CSL
2008
Springer
15 years 4 days ago
2008
Springer
Abstract. We present decision procedures for logical constraints involving collections such as sets, multisets, and fuzzy sets. Element membership in our collections is given by ch...