Search Sciweavers | Sciweavers

41938 search results - page 291 / 8388

» Complex Systems Modeling

160

click to vote

ERSHOV
2003
Springer

107views Theoretical Computer Science» more ERSHOV 2003»

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

15 years 11 months 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 »

108

click to vote

ICCS
2003
Springer

74views Applied Computing» more ICCS 2003»

Efficient Implementation of Complex Particle Shapes in the Lattice Solid Model

15 years 11 months ago

Download quakes.earth.uq.edu.au

Steffen Abe, Peter Mora

claim paper

Read More »

123

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 »

274

click to vote

SEQLEARN
2001
Springer

252views Algorithms» more SEQLEARN 2001»

Anticipation Model for Sequential Learning of Complex Sequences

15 years 11 months ago

Download www.cse.ohio-state.edu

DeLiang L. Wang

claim paper

Read More »

100

click to vote

DATE
2000
IEEE

71views Hardware» more DATE 2000»

Reducing the Complexity of Defect Level Modeling Using the Clustering Effect

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers