1127 search results - page 152 / 226 » Theory Extension in ACL2(r) |
139
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
A large family of algorithms for dimensionality reduction end with solving a Trace Ratio problem in the form of arg maxW Tr(WT SpW)/Tr(WT SlW)1 , which is generally transformed in...
190
click to vote
ICIP
1998
IEEE
16 years 7 months ago
1998
IEEE
We describe a new invariant-based data model for image databases under our approach for shape-based retrieval. The data model relies on contours description of the image shape, an...
234
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
Elevated chip temperatures are true limiters to the scalability of computing systems. Excessive runtime thermal variations compromise the performance and reliability of integrated...
261
click to vote
ICDT
2009
ACM
16 years 6 months ago
2009
ACM
Schema mappings are declarative specifications that describe the relationship between two database schemas. In recent years, there has been an extensive study of schema mappings a...
185
click to vote
WWW
2009
ACM
16 years 6 months ago
2009
ACM
Social media websites promote diverse user interaction on media objects as well as user actions with respect to other users. The goal of this work is to discover community structu...