Sciweavers

13090 search results - page 81 / 2618

» Usable artificial intelligence

124

APN
2001
Springer

95views Artificial Intelligence» more APN 2001»

A Concurrent Semantics of Static Exceptions in a Parallel Programming Language

15 years 9 months ago

A Concurrent Semantics of Static Exceptions in a Parallel Programming Language

Download hal.archives-ouvertes.fr

Hanna Klaudel, Franck Pommereau

claim paper

Read More »

120

APN
2001
Springer

94views Artificial Intelligence» more APN 2001»

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

15 years 9 months ago

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

Download www.tcs.hut.fi

Timo Latvala

claim paper

Read More »

89

APN
2001
Springer

86views Artificial Intelligence» more APN 2001»

Towards a Notion of Distributed Time for Petri Nets

15 years 9 months ago

Towards a Notion of Distributed Time for Petri Nets

Download www.brics.dk

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

claim paper

Read More »

95

CP
2001
Springer

96views Artificial Intelligence» more CP 2001»

Distributed Dynamic Backtracking

15 years 9 months ago

Distributed Dynamic Backtracking

Download web.mit.edu

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

claim paper

Read More »

108

CP
2001
Springer

89views Artificial Intelligence» more CP 2001»

Symmetry Breaking

15 years 9 months ago

Symmetry Breaking

Download faculty.wcas.northwestern.edu

Torsten Fahle, Stefan Schamberger, Meinolf Sellman...

claim paper

Read More »

« Prev « First page 81 / 2618 Last » Next »