Search Sciweavers | Sciweavers

12993 search results - page 77 / 2599

» Artificial Intelligence in China

click to vote

APN
2001
Springer

94views Artificial Intelligence» more APN 2001»

Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints

14 years 6 days ago

Download www.tcs.hut.fi

Timo Latvala

claim paper

Read More »

click to vote

APN
2001
Springer

86views Artificial Intelligence» more APN 2001»

Towards a Notion of Distributed Time for Petri Nets

14 years 6 days ago

Download www.brics.dk

Mogens Nielsen, Vladimiro Sassone, Jirí Srb...

claim paper

Read More »

click to vote

CP
2001
Springer

96views Artificial Intelligence» more CP 2001»

Distributed Dynamic Backtracking

14 years 6 days ago

Download web.mit.edu

Christian Bessière, Arnold Maestre, Pedro M...

claim paper

Read More »

click to vote

CP
2001
Springer

89views Artificial Intelligence» more CP 2001»

Symmetry Breaking

14 years 6 days ago

Download faculty.wcas.northwestern.edu

Torsten Fahle, Stefan Schamberger, Meinolf Sellman...

claim paper

Read More »

click to vote

ECAL
2001
Springer

71views Artificial Intelligence» more ECAL 2001»

Dynamics of the Environment for Adaptation in Static Resource Models

14 years 6 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers