77 search results - page 9 / 16 » On Boundedness Problems for Pushdown Vector Addition Systems |
106
click to vote
CAV
2008
Springer
15 years 2 months 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...
108
click to vote
ALMOB
2006
15 years 11 days 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...
109
click to vote
COCOON
2005
Springer
15 years 5 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...
101
click to vote
VLDB
2007
ACM
15 years 6 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...
105
click to vote
ICIP
2004
IEEE
16 years 1 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...