Sciweavers

7 search results - page 2 / 2
» Comparing Expressibility of Normed BPA and Normed BPP Proces...
Sort
View
ICALP
1999
Springer
13 years 9 months ago
Simulation Preorder on Simple Process Algebras
We consider the problem of simulation preorder/equivalence between infinite-state processes and finite-state ones. We prove that simulation preorder (in both directions) and simu...
Antonín Kucera, Richard Mayr
CORR
2011
Springer
190views Education» more  CORR 2011»
12 years 9 months ago
Doubly Robust Smoothing of Dynamical Processes via Outlier Sparsity Constraints
Abstract—Coping with outliers contaminating dynamical processes is of major importance in various applications because mismatches from nominal models are not uncommon in practice...
Shahrokh Farahmand, Georgios B. Giannakis, Daniele...