1140 search results - page 183 / 228 » Progress on Certifying Algorithms |
TSMC
2010
13 years 4 months ago
2010
Abstract--Ear recognition, as a biometric, has several advantages. In particular, ears can be measured remotely and are also relatively static in size and structure for each indivi...
TCAD
2011
13 years 4 months ago
2011
—Escalating system-on-chip design complexity is the design community to raise the level of abstraction beyond register transfer level. Despite the unsuccessful adoptions of early...
PAKDD
2011
ACM
13 years 3 months ago
2011
ACM
Discovering rare categories and classifying new instances of them is
an important data mining issue in many fields, but fully supervised
learning of a rare class classifier is pr...
ICDE
2011
IEEE
13 years 1 months ago
2011
IEEE
— SQL is a classical and powerful tool for querying relational databases. However, it is rather hard for inexperienced users to pose SQL queries, as they are required to be proï¬...
CONSTRAINTS
2011
13 years 1 months ago
2011
Abstract. We consider the problem of decomposing an integer matrix into a positively weighted sum of binary matrices that have the consecutive-ones property. This problem is well-k...