11376 search results - page 2040 / 2276 » Willow System Demonstration |
190
click to vote
SIGSOFT
2007
ACM
16 years 8 months ago
2007
ACM
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...
239
click to vote
SIGSOFT
2006
ACM
16 years 8 months ago
2006
ACM
Recent software systems usually feature an automated failure reporting system, with which a huge number of failing traces are collected every day. In order to prioritize fault dia...
176
click to vote
ISBI
2002
IEEE
16 years 8 months ago
2002
IEEE
During the last decade increasingly sophisticated positron emission tomography (PET) scanners have been developed for imaging small laboratory animals. These systems often exhibit...
197
click to vote
WWW
2009
ACM
16 years 8 months ago
2009
ACM
With the rise of community-generated web content, the need for automatic assessment of resource quality has grown, particularly in the realm of educational digital libraries. We d...
232
click to vote
WWW
2009
ACM
16 years 8 months ago
2009
ACM
We present a probabilistic model for generating personalised recommendations of items to users of a web service. The Matchbox system makes use of content information in the form o...