Sciweavers

4172 search results - page 734 / 835
» Computing Machinery and Understanding
Sort
View
ITICSE
2003
ACM
15 years 3 months ago
Studying program correctness by constructing contracts
Because the concept of program correctness is generally taught as an activity independent of the programming process, most introductory computer science (CS) students perceive it ...
Timothy S. Gegg-Harrison, Gary R. Bunce, Rebecca D...
ATAL
2003
Springer
15 years 3 months ago
Resource-aware exploration of the emergent dynamics of simulated systems
The emerging science of simulation enables us to explore the dynamics of large and complex systems even if a formal representation and analysis of the system is intractable and a ...
Sven Brueckner, H. Van Dyke Parunak
GI
2003
Springer
15 years 3 months ago
Zur Discourse Awareness mit dem Diskursmeter
: Im Gegensatz zu Präsenzdiskursen fehlt den Teilnehmern eines stark frequentierten E-Diskurses der Überblick über Verlauf und Stand der Diskussion (discourse awareness). Das Di...
Viviane Wolff
ICCSA
2003
Springer
15 years 3 months ago
Information Extraction to Generate Visual Simulations of Car Accidents from Written Descriptions
This paper describes a system to create animated 3D scenes of car accidents from written reports. The text-to-scene conversion process consists of two stages. An information extrac...
Pierre Nugues, Sylvain Dupuy, Arjan Egges
AINA
2010
IEEE
15 years 3 months ago
Towards Adaptive Mobile Mashups: Opportunities for Designing Effective Persuasive Technology on the Road
— Today’s vehicles and on-road infrastructures are equipped with a large number of sophisticated sensory devices. These sensory devices are capable of monitoring and providing ...
Flora Dilys Salim