Sciweavers

9425 search results - page 271 / 1885
» Some Notes on Models and Modelling
Sort
View
HICSS
2002
IEEE
92views Biometrics» more  HICSS 2002»
15 years 11 months ago
Student Model of Historical Text Comprehension
: In this contribution we present a Learner Model (LM) of Historical Text Comprehension (HTC), which infers the cognitive profile of learner’s global comprehension concerning the...
Grammatiki Tsaganou, Maria Grigoriadou, Theodora C...
SIGCOMM
2000
ACM
15 years 11 months ago
A stochastic model of TCP/IP with stationary random
In this paper, we present a model for TCP/IP ow control mechanism. The rate at which data is transmitted increases linearly in time until a packet loss is detected. At that point,...
Eitan Altman, Konstantin Avrachenkov, Chadi Baraka...
APN
2000
Springer
15 years 11 months ago
Pre- and Post-agglomerations for LTL Model Checking
One of the most efficient analysis technique is to reduce an original model into a simpler one such that the reduced model has the same properties than the original one. G. Berthel...
Denis Poitrenaud, Jean-François Pradat-Peyr...
EUROMICRO
1999
IEEE
15 years 11 months ago
Validation of Object Oriented Models using Animation
Experience has shown that prototypingis a valuabletechnique in the validation of designs. However, the prototype(s) can be too far semantically removed from the design. Animation ...
Ian Oliver, Stuart Kent
CGI
1998
IEEE
15 years 11 months ago
An Object-Oriented Approach to Model Scenes of Buildings
This paper presents an object-oriented approach for describing and modelling buildings by means of computer graphics. The approach is based on an object- and component-oriented gr...
Thierry Matthey, Hanspeter Bieri