Search Sciweavers | Sciweavers

12993 search results - page 95 / 2599

» Artificial Intelligence in China

click to vote

APN
1997
Springer

127views Artificial Intelligence» more APN 1997»

Teaching Coloured Petri Nets- A Gentle Introduction to Formal Methods in a Distributed Systems Course

14 years 1 months ago

Download www.daimi.au.dk

Søren Christensen, Kjeld Høyer Morte...

claim paper

Read More »

click to vote

AUSAI
1997
Springer

103views Artificial Intelligence» more AUSAI 1997»

The T-SOM (Tree-SOM)

14 years 1 months ago

Download ds.lib.kyutech.ac.jp

Vincent Sauvage

claim paper

Read More »

click to vote

CP
1997
Springer

65views Artificial Intelligence» more CP 1997»

Reconfigurable Architectures: A New Vision for Optimization Problems

14 years 1 months ago

Download research.microsoft.com

Youssef Hamadi, David Merceron

claim paper

Read More »

click to vote

ICTAI
1996
IEEE

128views Artificial Intelligence» more ICTAI 1996»

Conflict Analysis in Search Algorithms for Satisfiability

14 years 1 months ago

Download eprints.ecs.soton.ac.uk

João P. Marques Silva, Karem A. Sakallah

claim paper

Read More »

click to vote

ICTAI
1996
IEEE

81views Artificial Intelligence» more ICTAI 1996»

Oz Scheduler: A Workbench for Scheduling Problems

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers