358 search results - page 17 / 72 » A Verification Methodology for Model Fields |
LREC
2008
14 years 11 months ago
2008
This paper presents the results of the NEOLOGOS project: a children database and an optimized adult database for the French language. A new approach was adopted for the collection...
86
Voted
ITC
2003
IEEE
15 years 2 months ago
2003
IEEE
Functional verification of complex designs largely relies on the use of simulation in conjunction high-level verification languages (HVL) and test-bench automation (TBA) tools. In...
BCSHCI
2007
14 years 11 months ago
2007
This paper reflects on the design value that emerges from evaluation methods used in the field of child computer interaction. The work is based around an evaluation study of a tan...
66
Voted
HF
2002
14 years 9 months ago
2002
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
ECAI
2008
Springer
14 years 11 months ago
2008
Springer
Abstract-- Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and m...