4965 search results - page 796 / 993 » Measuring the Performance of Real-Time Systems |
158
click to vote
SEFM
2007
IEEE
16 years 25 days ago
2007
IEEE
Directed model checking algorithms focus computation resources in the error-prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their per...
136
click to vote
CCS
2007
ACM
16 years 22 days ago
2007
ACM
Various system architectures have been proposed for high assurance enforcement of multilevel security. This paper provides an analysis of the relative merits of three architectura...
149
click to vote
CLEAR
2007
Springer
16 years 22 days ago
2007
Springer
Automatic speaker localization is an important task in several applications such as acoustic scene analysis, hands-free videoconferencing orspeechenhancement.Trackingspeakersinmult...
173
click to vote
CLEF
2007
Springer
16 years 22 days ago
2007
Springer
This paper describes QAST, a pilot track of CLEF 2007 aimed at evaluating the task of Question Answering in Speech Transcripts. The paper summarizes the evaluation framework, the ...
153
click to vote
DSOM
2007
Springer
16 years 22 days ago
2007
Springer
As service providers strive to improve the quality and efficiency of their IT (information technology) management services, the need to adopt a standard set of tools and processes...