7961 search results - page 530 / 1593 » Input-Output Model Programs |
155
click to vote
UM
2005
Springer
16 years 16 days ago
2005
Springer
This paper describes the process by which we constructed a user model for ERST - an External Representation Selection Tutor - which recommends external representations (ERs) for pa...
185
click to vote
GI
2007
Springer
15 years 11 months ago
2007
Springer
: The aim of this paper is to present a modelling of rowing dynamics using bond graphs and to replace it by a modelling of mixed reality rowing dynamics using Mixed Reality Bond Gr...
163
click to vote
ICCAD
1991
IEEE
15 years 10 months ago
1991
IEEE
The program TRANALYZE generates a gate-level representation of an MOS transistor circuit. The resulting model contains only four-valued unit and zero delay logic primitives, suita...
158
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
This paper presents an information-theoretic model of a voting system, consisting of (a) definitions of the desirable qualities of integrity, privacy and verifiability, and (b) ...
173
click to vote
ECSCW
1993
15 years 8 months ago
1993
: This paper presents a new model lor semi-synchronous collaborative editing. It fills the gap between asynchronous and synchronous editing styles. The model is based on hierarchic...