1411 search results - page 45 / 283 » Interactive Coding for Interactive Proofs |
WSC
2007
14 years 1 months ago
2007
The simulation of group-work interaction is significant for Chinese enterprise organizational management. As a result, a cellular-automata based simulation model is put forward. T...
MC
2008
14 years 12 days ago
2008
Smartphones are suitable as interactive visualization platform for high quality 3D models representing, for example, faces. We provide an efficient implementation of a point-based...
IADIS
2004
14 years 11 days ago
2004
In this paper, we propose an open framework for teachers and lecturers in science, to help them write their pedagogical documents with both static textual parts, and interactive a...
ISIPTA
2003
IEEE
14 years 4 months ago
2003
IEEE
A generalization of deFinetti’s Fundamental Theorem of Probability facilitates coherent assessment, by iterated natural extension, of imprecise probabilities or expectations, co...
UIST
1999
ACM
14 years 3 months ago
1999
ACM
Most document or information management systems rely on hierarchies to organise documents (e.g. files, email messages or web bookmarks). However, the rigid structures of hierarchi...