Search Sciweavers | Sciweavers

41938 search results - page 293 / 8388

» Complex Systems Modeling

138

click to vote

FSTTCS
1998
Springer

112views Software Engineering» more FSTTCS 1998»

Descriptive Complexity and Model Checking

15 years 10 months ago

Download www.cs.umass.edu

Neil Immerman

claim paper

Read More »

178

click to vote

KR
1998
Springer

133views Automated Reasoning» more KR 1998»

The Complexity of Model Checking in Modal Event Calculi with Quantifiers

15 years 10 months ago

Download users.dimi.uniud.it

Iliano Cervesato, Massimo Franceschet, Angelo Mont...

claim paper

Read More »

134

click to vote

RANDOM
1997
Springer

88views Theoretical Computer Science» more RANDOM 1997»

Average-Case Complexity of Shortest-Paths Problems in the Vertex-Potential Model

15 years 10 months ago

Download www.mpi-inf.mpg.de

Colin Cooper, Alan M. Frieze, Kurt Mehlhorn, Volke...

claim paper

Read More »

124

click to vote

OOPSLA
1994
Springer

94views Security Privacy» more OOPSLA 1994»

Complex Associations: Abstractions in Object-Oriented Modeling

15 years 10 months ago

Download www.mip.sdu.dk

Bent Bruun Kristensen

claim paper

Read More »

161

click to vote

ACL
2008

133views Computational Linguistics» more ACL 2008»

Improving the Performance of the Random Walk Model for Answering Complex Questions

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers