1355 search results - page 255 / 271 » Techniques for Formal Verification of Digital Systems: A Sys... |
SIGIR
2005
ACM
14 years 2 months ago
2005
ACM
The TREC .GOV collection makes a valuable web testbed for distributed information retrieval methods because it is naturally partitioned and includes 725 web-oriented queries with ...
VRST
2005
ACM
14 years 2 months ago
2005
ACM
The goal of augmented reality is to provide the user with a view of the surroundings enriched by virtual objects. Practically all augmented reality systems rely on standard realti...
CONEXT
2009
ACM
13 years 10 months ago
2009
ACM
Building on the popularity of online social networks (OSNs) such as Facebook, social content-sharing applications allow users to form communities around shared interests. Millions...
CAE
2010
13 years 4 months ago
2010
We have implemented a non-photorealistic rendering system which simulates the placement of paint/pencil/pastel strokes to produce representational artworks from digital images. Th...
KDD
2008
ACM
14 years 9 months ago
2008
ACM
There is an exploding amount of user-generated content on the Web due to the emergence of "Web 2.0" services, such as Blogger, MySpace, Flickr, and del.icio.us. The part...