7766 search results - page 314 / 1554 » Testing Nondeterminate Systems |
236
click to vote
CAV
2004
Springer
16 years 2 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...
142
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
The cellular industry all over the world has been witnessing very high growth rates in subscriber base in recent years. For developing countries in particular, cellular services a...
194
Voted
ISMIR
2001
Springer
15 years 11 months ago
2001
Springer
In this paper, the problem of processing audio signals is addressed in the context of query-by-humming systems. Since singing is naturally used as input, we aim to develop a front...
186
click to vote
CLEAR
2006
Springer
15 years 10 months ago
2006
Springer
The evaluation results of a system for tracking humans in surveillance videos are presented. Moving blobs are detected based on adaptive background modeling. A shape based multi-vi...
166
click to vote
FIW
2007
15 years 8 months ago
2007
Many of the formal techniques are orchestrated for interaction detection in a complex integrated solution of hardware and software components. However, the applicability of these ...