252 search results - page 11 / 51 » The Authoring Assistant |
78
Voted
TPHOL
2000
IEEE
15 years 1 months ago
2000
IEEE
We verify within the Coq proof assistant that ML typing is sound with respect to the dynamic semantics. We prove this property in the framework of a big step semantics and also in ...
MM
2004
ACM
15 years 3 months ago
2004
ACM
In this demonstration, we are going to illustrate how to give a presentation using multiple displays connected to the Internet. Categories and Subject Descriptors H.4.3 [Communica...
106
click to vote
JUCS
2008
14 years 9 months ago
2008
: Authoring in adaptive educational hypermedia environment is complex activity. In order to promote a wider application of this technology, the teachers and course designers need s...
CHI
2005
ACM
15 years 10 months ago
2005
ACM
We present the participatory design and evaluation of an orientation aid for individuals who have anterograde amnesia. Our design team included six amnesics who have extreme diffi...
MICCAI
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we propose a method based on multiple criteria to assist physicians in planning percutaneous RFA on liver. We explain how we extracted information from literature an...