11328 search results - page 168 / 2266 » Timed Branching Processes |
117
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
A real time speaker localization and detection system for videoconferencing environments is presented. In this system, a recently proposed modified Steered Response Power - Phase...
135
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
The estimation of the time delay of arrival (TDOA) or the direction of arrival (DOA) has been an important research topic within the last few decades. In several applications, e.g...
119
Voted
ICSM
2008
IEEE
15 years 10 months ago
2008
IEEE
Test-case prioritization is a typical scenario of regression testing, which plays an important role in software maintenance. With the popularity of Web Services, integrating Web S...
132
Voted
CAV
2001
Springer
15 years 8 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
136
Voted
GECCO
2009
Springer
15 years 8 months ago
2009
Springer
The synthesis of stochastic processes using genetic programming is investigated. Stochastic process behaviours take the form of time series data, in which quantities of interest v...