1284 search results - page 63 / 257 » On Helping and Interactive Proof Systems |
GRAPHICSINTERFACE
2003
13 years 11 months ago
2003
Modeling complex realistic objects is a difficult and time consuming process. Nevertheless, with improvements in rendering speed and quality, more and more applications require s...
ACMDIS
2000
ACM
14 years 2 months ago
2000
ACM
To create successful interactive systems, user interface designers need to cooperate with developers and application domain experts in an interdisciplinary team. These groups, how...
NOSSDAV
1992
Springer
14 years 2 months ago
1992
Springer
Tactus addresses problems of synchronizing and controlling various interactive continuous-time media. The Tactus system consists of two main parts. The first is a server that synch...
AIEDU
2004
13 years 10 months ago
2004
Inspectable student models focus on the idea of letting students and teachers interact with the representation of the student that the system maintains. Both humans and the system ...
SEMWEB
2009
Springer
14 years 4 months ago
2009
Springer
Ontology matching plays a key role for semantic interoperability. Many methods have been proposed for automatically finding the alignment between heterogeneous ontologies. However...