5440 search results - page 847 / 1088 » Adapting Applications on the Fly |
166
click to vote
ICCAD
2002
IEEE
16 years 4 months ago
2002
IEEE
Within the verification community, there has been a recent increase in interest in Quantified Boolean Formula evaluation (QBF) as many interesting sequential circuit verification ...
157
click to vote
WWW
2010
ACM
16 years 2 months ago
2010
ACM
We study how to automatically extract tourist trips from large volumes of geo-tagged photographs. Working with more than 8 million of these photographs that are publicly available...
191
click to vote
CHI
2010
ACM
16 years 2 months ago
2010
ACM
Hobby chefs have various ways to learn cooking—paper recipes or cooking shows, for example. However, information in paper recipes may require prior experience to be understood a...
179
click to vote
SI3D
2010
ACM
16 years 2 months ago
2010
ACM
Pixel processing is becoming increasingly expensive for real-time applications due to the complexity of today’s shaders and highresolution framebuffers. However, most shading re...
173
click to vote
EDBTW
2010
Springer
16 years 2 months ago
2010
Springer
While data privacy is a human right, it is challenging to enforce it. For example, if multiple retailers execute a single order at Amazon Marketplace, each retailer can use diffe...