Search Sciweavers | Sciweavers

13026 search results - page 368 / 2606

» Creativity and Artificial Intelligence

153

click to vote

APN
2010
Springer

117views Artificial Intelligence» more APN 2010»

Separability in Persistent Petri Nets

15 years 11 months ago

Download parsys.informatik.uni-oldenburg.de

We prove that plain, bounded, reversible and persistent Petri nets are weakly and strongly separable.

Eike Best, Philippe Darondeau

claim paper

Read More »

153

click to vote

APN
2010
Springer

148views Artificial Intelligence» more APN 2010»

The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification

15 years 11 months ago

Download www-lipn.univ-paris13.fr

Christine Choppy, Anna Dedova, Sami Evangelista, S...

claim paper

Read More »

136

click to vote

AIIA
2001
Springer

90views Artificial Intelligence» more AIIA 2001»

Computing Spatial Similarity by Games

15 years 11 months ago

Download www.cs.rug.nl

In: F. Esposito (Eds.), Congress of the Italian Association for Artiﬁcial

Marco Aiello

claim paper

Read More »

131

click to vote

AIIA
2001
Springer

86views Artificial Intelligence» more AIIA 2001»

User-Adapted Image Descriptions from Annotated Knowledge Sources

15 years 11 months ago

Download wwwis.win.tue.nl

Maria Teresa Cassotta, Berardina De Carolis, Fiore...

claim paper

Read More »

119

click to vote

AIME
2001
Springer

74views Artificial Intelligence» more AIME 2001»

Using Time-Oriented Data Abstraction Methods to Optimize Oxygen Supply for Neonates

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers