Sciweavers

7811 search results - page 23 / 1563
» computing 2004
Sort
View
58
Voted
ITS
2004
Springer
92views Multimedia» more  ITS 2004»
15 years 8 months ago
Evaluating Dialogue Schemata with the Wizard of Oz Computer-Assisted Algebra Tutor
Jung Hee Kim, Michael Glass
112
Voted
SAMOS
2004
Springer
15 years 8 months ago
IDF Models for Trace Transformations: A Case Study in Computational Refinement
Cagkan Erbas, Simon Polstra, Andy D. Pimentel
90
Voted
SEMWEB
2004
Springer
15 years 8 months ago
Service Oriented Computing: Opportunities and Challenges
Boualem Benatallah, Hamid R. Motahari Nezhad
94
Voted
TACAS
2004
Springer
114views Algorithms» more  TACAS 2004»
15 years 8 months ago
Symbolically Computing Most-Precise Abstract Operations for Shape Analysis
Greta Yorsh, Thomas W. Reps, Shmuel Sagiv