405 search results - page 80 / 81 » Open Systems Formal Evaluation Process |
102
click to vote
ECCV
2004
Springer
16 years 2 months ago
2004
Springer
This paper proposes a robust estimation and validation framework for characterizing local structures in a positive multi-variate continuous function approximated by a Gaussian-base...
93
Voted
KDD
2004
ACM
16 years 24 days ago
2004
ACM
We describe the TiVo television show collaborative recommendation system which has been fielded in over one million TiVo clients for four years. Over this install base, TiVo curre...
SRDS
2003
IEEE
15 years 5 months ago
2003
IEEE
In this paper we investigate dependability issues of nextgeneration distributed multimedia applications. Examples of such applications are autonomous vehicle control, telemedicine...
122
Voted
AI
2002
Springer
15 years 8 days ago
2002
Springer
Automated negotiation is a key form of interaction in systems that are composed of multiple autonomous agents. The aim of such interactions is to reach agreements through an itera...
107
Voted
IPPS
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, we introduce the new technique of HighConfidence Software Monitoring (HCSM), which allows one to perform software monitoring with bounded overhead and concomitantl...