Search Sciweavers | Sciweavers

In our previous research, we investigated the properties of case-based plan recognition with incomplete plan libraries. Incremental construction of plan libraries along with retri...

Boris Kerkez, Michael T. Cox

claim paper

Read More »

166

click to vote

FORTE
2003

105views Formal Methods» more FORTE 2003»

Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification?

15 years 8 months ago

Download mtc.epfl.ch

Dirk Beyer, Andreas Noack

claim paper

Read More »

168

click to vote

MASCOTS
2001

124views Modeling And Simulation» more MASCOTS 2001»

Minimizing Routing State for Light-Weight Network Simulation

15 years 8 months ago

Download nslab.ee.ntu.edu.tw

We introduce a routing mechanism, referred to as algorithmic routing. It is a viable routing alternative for network simulations with minimal space complexity

Polly Huang, John S. Heidemann

claim paper

Read More »

« Prev « First page 319 / 3123 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers