8828 search results - page 1305 / 1766 » Formal methods in practice |
232
Voted
CVPR
2011
IEEE
15 years 3 months ago
2011
IEEE
It is often desirable to evaluate an image based on its quality. For many computer vision applications, a perceptually meaningful measure is the most relevant for evaluation; howe...
332
Voted
AUGHUMAN
2011
15 years 2 months ago
2011
: Today in general traffic field, visual signs and audio cues are used for pedestrian control. As the pedestrians need to acquire and recognize them, time delay between cognition a...
195
Voted
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract-- Recent research on multi-agent systems has produced a plethora of decentralized controllers that implicitly assume various degrees of agent localization. However, many p...
206
click to vote
CORR
2011
Springer
15 years 2 months ago
2011
Springer
—The problem of optimal power allocation among the relays in a two-hop decode-and-forward cooperative relay network with independent Rayleigh fading channels is considered. It is...
198
click to vote
COLING
2010
15 years 2 months ago
2010
In practical applications, decoding speed is very important. Modern structured learning technique adopts template based method to extract millions of features. Complicated templat...