Sciweavers

14379 search results - page 47 / 2876
» is 2000
Sort
View
ESM
2000
15 years 1 months ago
Hierarchical interfaces for hardware software systems
Tudor Niculiu, Chouki Aktouf, Sorin Cotofana
79
Voted
FBT
2000
139views Formal Methods» more  FBT 2000»
15 years 1 months ago
Model Checking and Random Competition - A Study Using the Model Checking Framework MIC
Alexander K. Wißpeintner, Franz Huber, Jan P...
60
Voted
ICMAS
2000
15 years 1 months ago
Multi-Agent Reinforcement Learning for Planning and Scheduling Multiple Goals
Sachiyo Arai, Katia P. Sycara, Terry R. Payne