2935 search results - page 495 / 587 » An Integrated Approach to High Integrity Software Verificati... |
184
click to vote
CVPR
2006
IEEE
16 years 7 months ago
2006
IEEE
In its full generality, motion analysis of crowded objects necessitates recognition and segmentation of each moving entity. The difficulty of these tasks increases considerably wi...
172
click to vote
VIS
2004
IEEE
16 years 7 months ago
2004
IEEE
The physical interpretation of mathematical features of tensor fields is highly application-specific. Existing visualization methods for tensor fields only cover a fraction of the...
168
click to vote
DAC
2004
ACM
16 years 6 months ago
2004
ACM
As across-chip interconnect delays can exceed a clock cycle, wire pipelining becomes essential in high performance designs. Although it allows higher clock frequencies, it may cha...
155
click to vote
ICML
2009
IEEE
16 years 6 months ago
2009
IEEE
Despite popular belief, boosting algorithms and related coordinate descent methods are prone to overfitting. We derive modifications to AdaBoost and related gradient-based coordin...
148
click to vote
WWW
2007
ACM
16 years 6 months ago
2007
ACM
Many databases have become Web-accessible through form-based search interfaces (i.e., HTML forms) that allow users to specify complex and precise queries to access the underlying ...