554 search results - page 102 / 111 » Approximate Probabilistic Model Checking |
AVSS
2008
IEEE
14 years 2 months ago
2008
IEEE
Tracking humans in an indoor environment is an essential part of surveillance systems. Vision based and microphone array based trackers have been extensively researched in the pas...
IROS
2007
IEEE
14 years 1 months ago
2007
IEEE
— In an effort to ease the burden of programming motor commands for humanoid robots, a computer vision technique is developed for converting a monocular video sequence of human p...
WIMOB
2007
IEEE
14 years 1 months ago
2007
IEEE
In this paper, ranging process in IEEE 802.16e OFDMA systems is analyzed and performance is evaluated. Ranging process provides initial network entry, uplink synchronization, and ...
SLIP
2006
ACM
14 years 1 months ago
2006
ACM
Crosstalk aggressor alignment induces significant interconnect delay variation and needs to be taken into account in a statistical timer. In this paper, we approximate crosstalk ...
GECCO
2004
Springer
14 years 26 days ago
2004
Springer
Estimation of distribution algorithms (EDAs) are population-based heuristic search methods that use probabilistic models of good solutions to guide their search. When applied to co...