2470 search results - page 81 / 494 » Liveness-Preserving Simulation Relations |
118
click to vote
ICALP
2011
Springer
14 years 4 months ago
2011
Springer
act Interpretation SILVIA CRAFA FRANCESCO RANZATO University of Padova, Italy We show how bisimulation equivalence and simulation preorder on probabilistic LTSs (PLTSs), namely the...
173
Voted
VLDB
2000
ACM
15 years 4 months ago
2000
ACM
Data allocation is a key performance factor for parallel database systems (PDBS). This holds especially for data warehousing environments where huge amounts of data and complex an...
80
Voted
CIIT
2007
15 years 2 months ago
2007
To characterize the behavior of a mobile ad-hoc network (MANET), the Brownian mobility model is studied, where the random coordinators of mobile nodes are modeled by the Brownian ...
112
Voted
NIPS
2007
15 years 2 months ago
2007
Traditional analysis methods for single-trial classification of electroencephalography (EEG) focus on two types of paradigms: phase locked methods, in which the amplitude of the ...
120
click to vote
ICIP
2007
IEEE
15 years 22 days ago
2007
IEEE
We introduce a method to improve performance of multiple-description coding based on legacy video coders with pre- and postprocessing. The pre- and post-processing setup is genera...