292 search results - page 51 / 59 » A linearization of the Lambda-calculus and consequences |
WWW
2008
ACM
16 years 11 days ago
2008
ACM
With the explosive growth of Web and the recent development in digital media technology, the number of images on the Web has grown tremendously. Consequently, Web image clustering...
108
click to vote
KDD
2009
ACM
16 years 7 days ago
2009
ACM
One common predictive modeling challenge occurs in text mining problems is that the training data and the operational (testing) data are drawn from different underlying distributi...
164
click to vote
SIGMOD
2006
ACM
15 years 12 months ago
2006
ACM
The concept of dominance has recently attracted much interest in the context of skyline computation. Given an Ndimensional data set S, a point p is said to dominate q if p is bett...
ICFP
2004
ACM
15 years 11 months ago
2004
ACM
Useful type inference must be faster than normalization. Otherwise, you could check safety conditions by running the program. We analyze the relationship between bounds on normali...
ICCAD
2006
IEEE
15 years 8 months ago
2006
IEEE
Shallow trench isolation (STI) is the mainstream CMOS isolation technology. It uses chemical mechanical planarization (CMP) to remove excess of deposited oxide and attain a planar...