Sciweavers

14379 search results - page 47 / 2876

» is 2000

125

ESM
2000

100views Modeling And Simulation» more ESM 2000»

Hierarchical interfaces for hardware software systems

15 years 7 months ago

Hierarchical interfaces for hardware software systems

Download ce.et.tudelft.nl

Tudor Niculiu, Chouki Aktouf, Sorin Cotofana

claim paper

Read More »

126

ESM
2000

129views Modeling And Simulation» more ESM 2000»

The cellular automata formalism and its relationship to DEVS

15 years 7 months ago

The cellular automata formalism and its relationship to DEVS

Download www.cs.mcgill.ca

Hans Vangheluwe, Ghislain C. Vansteenkiste

claim paper

Read More »

163

EWCG
2000

115views Computational Geometry» more EWCG 2000»

Visualizing and Animating Search Operations on Quadtrees on the Worldwide Web

15 years 7 months ago

Visualizing and Animating Search Operations on Quadtrees on the Worldwide Web

Download www.cs.umd.edu

Frantisek Brabec, Hanan Samet

claim paper

Read More »

141

Voted

FBT
2000

139views Formal Methods» more FBT 2000»

Model Checking and Random Competition - A Study Using the Model Checking Framework MIC

15 years 7 months ago

Model Checking and Random Competition - A Study Using the Model Checking Framework MIC

Download www4.in.tum.de

Alexander K. Wißpeintner, Franz Huber, Jan P...

claim paper

Read More »

106

ICMAS
2000

95views Intelligent Agents» more ICMAS 2000»

Multi-Agent Reinforcement Learning for Planning and Scheduling Multiple Goals

15 years 7 months ago

Multi-Agent Reinforcement Learning for Planning and Scheduling Multiple Goals

Download www-2.cs.cmu.edu

Sachiyo Arai, Katia P. Sycara, Terry R. Payne

claim paper

Read More »

« Prev « First page 47 / 2876 Last » Next »