11172 search results - page 600 / 2235 » Testing Physical Systems |
195
click to vote
SIGMOD
2003
ACM
16 years 7 months ago
2003
ACM
The education industry has a very poor record of productivity gains. In this brief article, I outline some of the ways the teaching of a college course in database systems could b...
178
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Repair or error-recovery strategies are an important design issue in Spoken Dialogue Systems (SDSs) - how to conduct the dialogue when there is no progress (e.g. due to repeated A...
197
click to vote
CLEAR
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents the evaluation results of a system for tracking humans in surveillance videos. Moving blobs are detected based on adaptive background modeling. A shape based mu...
218
click to vote
ICPADS
2005
IEEE
16 years 24 days ago
2005
IEEE
This work presents a new comparison-based diagnosis model and a new algorithm, called Hi-Dif, based on this model. The algorithm is used for checking the integrity of systems with...
256
click to vote
CAV
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...