Search Sciweavers | Sciweavers

22588 search results - page 323 / 4518

» On simulation model complexity

173

click to vote

ERSHOV
2003
Springer

107views Theoretical Computer Science» more ERSHOV 2003»

Complexity of Model Checking by Iterative Improvement: The Pseudo-Boolean Framework

16 years 6 days ago

Download www.dbai.tuwien.ac.at

We present several new algorithms as well as new lower and upper bounds for optimizing functions underlying inﬁnite games pertinent to computer-aided veriﬁcation.

Henrik Björklund, Sven Sandberg, Sergei G. Vo...

claim paper

Read More »

111

click to vote

ICCS
2003
Springer

74views Applied Computing» more ICCS 2003»

Efficient Implementation of Complex Particle Shapes in the Lattice Solid Model

16 years 6 days ago

Download quakes.earth.uq.edu.au

Steffen Abe, Peter Mora

claim paper

Read More »

104

click to vote

ICRA
2002
IEEE

101views Robotics» more ICRA 2002»

Modeling of Complex Automation Systems using Colored State Charts

15 years 12 months ago

Download www.theoinf.tu-ilmenau.de

Olga Fengler, Wolfgang Fengler, Vesselka Duridanov...

claim paper

Read More »

137

click to vote

FOSSACS
2001
Springer

114views Software Engineering» more FOSSACS 2001»

The Complexity of Model Checking Mobile Ambients

15 years 11 months ago

Download www.it.uu.se

Witold Charatonik, Silvano Dal-Zilio, Andrew D. Go...

claim paper

Read More »

285

Voted

SEQLEARN
2001
Springer

252views Algorithms» more SEQLEARN 2001»

Anticipation Model for Sequential Learning of Complex Sequences

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers