Sciweavers

2142 search results - page 197 / 429
» Representing Time in Multimedia Systems
Sort
View
ITS
2004
Springer
129views Multimedia» more  ITS 2004»
15 years 12 months ago
Spoken Versus Typed Human and Computer Dialogue Tutoring
While human tutors typically interact with students using spoken dialogue, most computer dialogue tutors are text-based. We have conducted two experiments comparing typed and spoke...
Diane J. Litman, Carolyn Penstein Rosé, Kat...
CCS
2007
ACM
16 years 21 days ago
On the accuracy of decentralized virtual coordinate systems in adversarial networks
Virtual coordinate systems provide an accurate and efficient service that allows hosts on the Internet to determine the latency to arbitrary hosts without actively monitoring all ...
David John Zage, Cristina Nita-Rotaru
SRDS
2007
IEEE
16 years 24 days ago
Framework for Intrusion Tolerant Certification Authority System Evaluation
Various intrusion tolerant certification authority (CA) systems have been recently proposed to provide attack resistant certificate update/query services. However, it is difficult...
Jingqiang Lin, Jiwu Jing, Peng Liu
ISARCS
2010
156views Hardware» more  ISARCS 2010»
15 years 8 months ago
A Road to a Formally Verified General-Purpose Operating System
Methods of formal description and verification represent a viable way for achieving fundamentally bug-free software. However, in reality only a small subset of the existing operati...
Martin Decký
WSCG
2004
127views more  WSCG 2004»
15 years 8 months ago
Registration Tasks for a Hybrid Tracking System for Medical Augmented Reality
Tracking technologies for medical Virtual or Augmented Reality (VR/AR) applications have to fulfill demanding requirements. A hybrid tracking system can merge positive attributes ...
Bernd Schwald, Helmut Seibert