6750 search results - page 1118 / 1350 » Performance Analysis Framework for Layout Analysis Methods |
133
Voted
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
120
Voted
PIMRC
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper estimates Quality of Experience (QoE), i.e., user–level QoS from MAC–level QoS for audio–video transmission over an IEEE 802.11e EDCA wireless LAN. The MAC– ...
146
Voted
ENC
2007
IEEE
15 years 10 months ago
2007
IEEE
This manuscript proposes a retrieval system for fMRI brain images. Our goal is to find a similaritymetric to enable us to support queries for “similar tasks” for retrieval on...
129
Voted
ICDCS
2007
IEEE
2007
IEEE
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space
15 years 10 months ago
Automated formal analysis methods such as program verification and synthesis algorithms often suffer from time complexity of their decision procedures and also high space complex...
122
Voted
ICMCS
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we present a probabilistic algorithm for visual tracking that incorporates robust template matching and incremental subspace update. There are two template matching...