6102 search results - page 786 / 1221 » Generating Optimizing Specializers |
195
click to vote
CVPR
2006
IEEE
16 years 9 months ago
2006
IEEE
We introduce a discriminative hidden-state approach for the recognition of human gestures. Gesture sequences often have a complex underlying structure, and models that can incorpo...
210
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
We devise a boosting approach to classification and regression based on column generation using a mixture of kernels. Traditional kernel methods construct models based on a single...
211
click to vote
ICCAD
2006
IEEE
16 years 4 months ago
2006
IEEE
Enumeration of bounded size cuts is an important step in several logic synthesis algorithms such as technology mapping and re-writing. The standard algorithm does not scale beyond...
186
click to vote
VSTTE
2005
Springer
16 years 16 days ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
199
click to vote
SIGCOMM
2004
ACM
16 years 14 days ago
2004
ACM
A detailed understanding of the many facets of the Internet’s topological structure is critical for evaluating the performance of networking protocols, for assessing the effecti...