17450 search results - page 3165 / 3490 » Numerical Methods with Applications |
209
click to vote
FASE
2011
Springer
14 years 10 months ago
2011
Springer
Given a program and an assertion in that program, determining if the assertion can fail is one of the key applications of program analysis. Symbolic execution is a well-known techn...
307
click to vote
FGR
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract— We propose a novel hierarchical structured prediction approach for ranking images of faces based on attributes. We view ranking as a bipartite graph matching problem; l...
278
click to vote
FGR
2011
IEEE
14 years 10 months ago
2011
IEEE
— In many visual multi-object tracking applications, the question when to add or remove a target is not trivial due to, for example, erroneous outputs of object detectors or obse...
204
click to vote
ICANN
2011
Springer
14 years 10 months ago
2011
Springer
Currently the most accurate WLAN positioning systems are based on the fingerprinting approach, where a “radio map” is constructed by modeling how the signal strength measureme...
295
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Stereoscopic video is an important manner for 3-D video applications, and robust stereoscopic video transmission has posed a technical challenge for stereoscopic video coding. In ...