2266 search results - page 78 / 454 » How Not to Evaluate a Developmental System |
IJAIT
2006
14 years 9 months ago
2006
We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligatio...
LCPC
2001
Springer
15 years 2 months ago
2001
Springer
While uniprocessor garbage collection is relatively well understood, experience with collectors for large multiprocessor servers is limited and it is unknown which techniques best ...
CHI
2003
ACM
15 years 10 months ago
2003
ACM
HCI evaluation methods are useful for improving the design of interactive systems, yet they may be rejected by nontraditional technology disciplines such as media art. We have dev...
131
click to vote
CLEAR
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. This paper describes Pittsburgh Pattern Recognition’s participation in the face detection and tracking tasks for the CLEAR 2007 evaluation. Since CLEAR 2006, we have ma...
HT
2010
ACM
15 years 2 months ago
2010
ACM
While recent research has advanced our understanding about the structure and dynamics of social tagging systems, we know little about (i) the underlying motivations for tagging (w...