1961 search results - page 16 / 393 » PicoDBMS: Validation and Experience |
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
Crowd simulation models are currently lacking a commonly accepted validation method. In this paper, we propose level of presence achieved by a human in a virtual environment (VE) ...
FTCS
1998
13 years 10 months ago
1998
The traditional use of formal methods has been for the veri cation of algorithms or protocols. Given the high cost and limitations in state space coverage provided by conventional...
GECCO
2005
Springer
14 years 2 months ago
2005
Springer
As artificial life systems grow in number and sophistication, it is becoming increasingly important that the field agree on principled metrics for evaluating them. This report d...
ECIS
2003
13 years 10 months ago
2003
Information Systems (IS) design research tends to emphasise the development of new methods (normative research), while addressing the evaluation of methods in only a limited fashi...
NORDICHI
2006
ACM
14 years 2 months ago
2006
ACM
The evaluation of e-learning applications deserves special attention and evaluators need effective methodologies and appropriate guidelines to perform their task. We have proposed...