77 search results - page 4 / 16 » On Boundedness Problems for Pushdown Vector Addition Systems |
ICCAD
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— Typical nonlinear model order reduction approaches need to address two issues: reducing the order of the model, and approximating the vector field. In this paper we fo...
CRYPTO
2008
Springer
13 years 7 months ago
2008
Springer
We construct noninteractive statistical zero-knowledge (NISZK) proof systems for a variety of standard approximation problems on lattices, such as the shortest independent vectors...
EDBT
2010
ACM
14 years 5 days ago
2010
ACM
A recurring manual task in data integration, ontology alignment or model management is finding mappings between complex meta data structures. In order to reduce the manual effor...
IJFCS
2008
13 years 5 months ago
2008
We introduce the notion of stateless multihead two-way (respectively, oneway) NFAs and stateless multicounter systems and relate them to P systems and vector addition systems. In ...
CDC
2009
IEEE
13 years 8 months ago
2009
IEEE
— This paper presents the optimal joint filtering and parameter identification problem for uncertain linear stochastic systems with unknown parameters in both state and observa...