688 search results - page 96 / 138 » Computational Methods for Verification of Stochastic Hybrid ... |
KES
2000
Springer
13 years 11 months ago
2000
Springer
An approach to multi-view face detection based on head pose estimation is presented in this paper. Support Vector Regression is employed to solve the problem of pose estimation. T...
ICASSP
2010
IEEE
13 years 8 months ago
2010
IEEE
Subspace tracking methods are widespread in signal and image processing. To reduce the influence of perturbations or outliers on the measurements, some authors have used a stocha...
MASCOTS
2007
13 years 9 months ago
2007
Network performance analysis relies mainly on two models: a workload model and a performance model. This paper proposes to use histograms for characterising the arrival workloads ...
MOBIHOC
2009
ACM
14 years 8 months ago
2009
ACM
In this paper, we consider a non-saturated IEEE 802.11 based wireless network. We use a three-way fixed point to model the node behavior with Bernoulli packet arrivals and determi...
GLVLSI
2007
IEEE
13 years 11 months ago
2007
IEEE
he abstract and simple computation and communication mechanism in the synchronous computational model it is easy to simulate synchronous systems and to apply formal verification m...