Search Sciweavers | Sciweavers

17129 search results - page 369 / 3426

» Applied Computing

174

click to vote

SAC
2008
ACM

263views Applied Computing» more SAC 2008»

Computational methods for complex stochastic systems: a review of some alternatives to MCMC

15 years 6 months ago

Download eprints.lancs.ac.uk

We consider analysis of complex stochastic models based upon partial information. MCMC and reversible jump MCMC are often the methods of choice for such problems, but in some situ...

Paul Fearnhead

claim paper

Read More »

156

click to vote

FOSSACS
2010
Springer

165views Software Engineering» more FOSSACS 2010»

Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems

16 years 1 months ago

Download homepages.inf.ed.ac.uk

Anthony Widjaja To, Leonid Libkin

claim paper

Read More »

153

click to vote

FOSSACS
2010
Springer

139views Software Engineering» more FOSSACS 2010»

When Model-Checking Freeze LTL over Counter Machines Becomes Decidable

16 years 1 months ago

Download www.lsv.ens-cachan.fr

Stéphane Demri, Arnaud Sangnier

claim paper

Read More »

120

click to vote

FOSSACS
2009
Springer

99views Software Engineering» more FOSSACS 2009»

Least and Greatest Fixpoints in Game Semantics

16 years 1 months ago

Download www.pps.jussieu.fr

Pierre Clairambault

claim paper

Read More »

144

click to vote

FOSSACS
2009
Springer

98views Software Engineering» more FOSSACS 2009»

Logics and Bisimulation Games for Concurrency, Causality and Conflict

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers