7766 search results - page 448 / 1554 » Testing Nondeterminate Systems |
187
click to vote
ENTCS
2002
15 years 6 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
229
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
The 2010 NIST Speaker Recognition Evaluation (SRE10) included a test of Human Assisted Speaker Recognition (HASR) in which systems based in whole or in part on human expertise wer...
177
click to vote
ACCV
2007
Springer
16 years 1 months ago
2007
Springer
This paper describes a method of mirror localization to calibrate a catadioptric imaging system. While the calibration of a catadioptric system includes the estimation of various p...
180
click to vote
CICLING
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The task of Named Entity Recognition (NER) allows to identify proper names as well as temporal and numeric expressions, in an open-domain text. NER systems proved to be v...
177
click to vote
ICCBR
2007
Springer
16 years 1 months ago
2007
Springer
A knowledge-intensive case-based reasoning system has profit of the domain knowledge, together with the case base. Therefore, acquiring new pieces of domain knowledge should impro...