77 search results - page 9 / 16 » On Boundedness Problems for Pushdown Vector Addition Systems |
CAV
2008
Springer
15 years 11 days ago
2008
Springer
We consider an extension of integer linear arithmetic with a "star" operator takes closure under vector addition of the solution set of a linear arithmetic subformula. We...
ALMOB
2006
14 years 10 months ago
2006
Background: Bifurcation analysis has proven to be a powerful method for understanding the qualitative behavior of gene regulatory networks. In addition to the more traditional for...
COCOON
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The original definition of P-systems calls for rules to be applied in a maximally parallel fashion. However, in some cases a sequential model may be a more reasonable as...
VLDB
2007
ACM
15 years 4 months ago
2007
ACM
Near-duplicate video clip (NDVC) detection is an important problem with a wide range of applications such as TV broadcast monitoring, video copyright enforcement, content-based vi...
ICIP
2004
IEEE
15 years 12 months ago
2004
IEEE
To leave the maximum flexibility in encoder to optimize the trade-off between coding performance and complexity, in video coding standards such as H.264/AVC [1], H.263 [2] and MPE...