1355 search results - page 260 / 271 » Techniques for Formal Verification of Digital Systems: A Sys... |
SIGMETRICS
2009
ACM
14 years 3 months ago
2009
ACM
Disseminating a piece of information, or updates for a piece of information, has been shown to benefit greatly from simple randomized procedures, sometimes referred to as gossipi...
STOC
2004
ACM
14 years 9 months ago
2004
ACM
A collaborative filtering system at an e-commerce site or similar service uses data about aggregate user behavior to make recommendations tailored to specific user interests. We d...
3DGIS
2006
Springer
14 years 2 months ago
2006
Springer
The extraction of the building models from remote-sensed data is an important work in the geographic information systems. This investigation describes an approach to integrate LIDA...
ERCIMDL
2000
Springer
14 years 17 days ago
2000
Springer
The OASIS (Ontologically Augmented Spatial Information System) project explores terminology systems for thematic and spatial access in digital library applications. A prototype im...
BTW
2009
Springer
13 years 10 months ago
2009
Springer
Abstract: Multimedia databases are increasingly common in science, business, entertainment and many other applications. Their size and high dimensionality of features are major cha...