2468 search results - page 384 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
165
Voted
POPL
2011
ACM
14 years 6 months ago
2011
ACM
A number of deterministic parallel programming models with strong safety guarantees are emerging, but similar support for nondeterministic algorithms, such as branch and bound sea...
149
click to vote
CCS
2005
ACM
15 years 9 months ago
2005
ACM
Existing reputation systems used by online auction houses do not address the concern of a buyer shopping for commodities—finding a good bargain. These systems do not provide in...
135
Voted
ACMICEC
2007
ACM
15 years 7 months ago
2007
ACM
Recommender systems are intelligent E-commerce applications that assist users in a decision-making process by offering personalized product recommendations during an interaction s...
138
click to vote
DEBU
2008
15 years 3 months ago
2008
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...
125
click to vote
CVPR
2007
IEEE
16 years 5 months ago
2007
IEEE
Image-based object modeling has emerged as an important computer vision application. Typically, the process starts with the acquisition of the image views of an object. These view...