Sciweavers

13917 search results - page 68 / 2784
» Abstraction of Probabilistic Systems
Sort
View
114
Voted
RV
2007
Springer
76views Hardware» more  RV 2007»
15 years 10 months ago
Translation Validation of System Abstractions
Jan Olaf Blech, Ina Schaefer, Arnd Poetzsch-Heffte...
106
Voted
SAS
2007
Springer
15 years 10 months ago
Static Analysis of Dynamic Communication Systems by Partner Abstraction
Jörg Bauer, Reinhard Wilhelm
UC
2007
Springer
15 years 10 months ago
The Abstract Immune System Algorithm
José Pacheco, José Félix Cost...
UM
2007
Springer
15 years 10 months ago
What's in a Step? Toward General, Abstract Representations of Tutoring System Log Data
Kurt VanLehn, Kenneth R. Koedinger, Alida Skogshol...