77 search results - page 10 / 16 » On Boundedness Problems for Pushdown Vector Addition Systems |
117
click to vote
JBI
2011
14 years 5 months ago
2011
We are developing a set of ontologies that deal with vector-borne diseases and the arthropod vectors that transmit them. For practical reasons (application priorities), we initiat...
81
Voted
STACS
2007
Springer
15 years 4 months ago
2007
Springer
We consider commutative string rewriting systems (Vector Addition Systems, Petri nets), i.e., string rewriting systems in which all pairs of letters commute. We are interested in r...
SACI
2007
IEEE
15 years 4 months ago
2007
IEEE
: Linear Parameter Varying(LPV) systems appear in a form of LTI state space representations where the elements of the A(ρ), B(ρ), C(ρ) matrices can depend on an unknown but at a...
HYBRID
2005
Springer
15 years 3 months ago
2005
Springer
This paper focuses on hybrid systems whose discrete state transitions depend on both deterministic and stochastic events. For such systems, after introducing a suitable hybrid mod...
ICIP
2005
IEEE
16 years 20 hour ago
2005
IEEE
Unsolicited Commercial Email (UCE), also known as spam, has been a major problem on the Internet. In the past, researchers have addressed this problem as a text classification or ...