1037 search results - page 119 / 208 » A view of canonical extension |
150
click to vote
CHI
2008
ACM
16 years 6 months ago
2008
ACM
We designed and iterated on a photo browsing application for high-end mobile phones. The application, Zurfer, supports viewing of photos from the user, their contacts, and the gen...
157
click to vote
HPCA
2002
IEEE
16 years 6 months ago
2002
IEEE
This work is based on our philosophy of providing interlayer system-level power awareness in computing systems [26, 27]. Here, we couple this approach with our vision of multipart...
315
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
We offer a solution to the type inference problem for an extension of Hindley and Milner's type system with generalized algebraic data types. Our approach is in two strata. T...
167
click to vote
CADE
2003
Springer
16 years 6 months ago
2003
Springer
Foundational certified code systems seek to prove untrusted programs to be safe relative to safety policies given in terms of actual machine architectures, thereby improving the s...
218
click to vote
STOC
2005
ACM
16 years 6 months ago
2005
ACM
Our main result is a reduction from worst-case lattice problems such as GAPSVP and SIVP to a certain learning problem. This learning problem is a natural extension of the `learnin...