Sciweavers

34199 search results - page 157 / 6840
» Petascale Computational Systems
Sort
View
AH
2000
Springer
15 years 10 months ago
Knowledge Computing Method for Enhancing the Effectiveness of a WWW Distance Education System
Abstract. The ultimate aim of our research is a free, evolutionary, Internetbased, agent-based, long-distance teaching environment for academic English. For this purpose, we are bu...
Alexandra I. Cristea, Toshio Okamoto
133
Voted
CAV
2008
Springer
106views Hardware» more  CAV 2008»
15 years 9 months ago
Computing Differential Invariants of Hybrid Systems as Fixedpoints
André Platzer, Edmund M. Clarke