Search Sciweavers | Sciweavers

5216 search results - page 264 / 1044

» Planning as Model Checking

112

click to vote

ENVSOFT
2008

59views more ENVSOFT 2008»

Spatial planning for lowland stream basins using a bioeconomic model

15 years 3 months ago

Download webdocs.alterra.wur.nl

Paul van Walsum, John Helming, Louis Stuyt, Eric S...

claim paper

Read More »

115

click to vote

SAB
2010
Springer

132views Optimization» more SAB 2010»

A Cortical Column Model for Multiscale Spatial Planning

15 years 3 months ago

Download www.anc.upmc.fr

Louis-Emmanuel Martinet, Angelo Arleo

claim paper

Read More »

117

click to vote

TAICPART
2010
IEEE

125views Education» more TAICPART 2010»

Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models

15 years 2 months ago

Download www2010.taicpart.org

Marko Kääramees, Jüri Vain, Kullo R...

claim paper

Read More »

click to vote

EOR
2011

78views more EOR 2011»

Planning for demand failure: A dynamic lot size model for clinical trial supply chains

14 years 11 months ago

Download zhao.rutgers.edu

Adam J. Fleischhacker, Yao Zhao

claim paper

Read More »

121

click to vote

ATAL
2011
Springer

186views Intelligent Agents» more ATAL 2011»

Agents that speak: modelling communicative plans and information sources in a logic of announcements

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers