2500 search results - page 486 / 500 » Specifying Behavior in C |
SODA
2008
ACM
15 years 1 months ago
2008
ACM
In the unconditionally reliable message transmission (URMT) problem, two non-faulty players, the sender S and the receiver R are part of a synchronous network modeled as a directe...
FAST
2003
15 years 1 months ago
2003
We propose and evaluate the concept of a semantically-smart disk system (SDS). As opposed to a traditional “smart” disk, an SDS has detailed knowledge of how the file system ...
102
click to vote
IICAI
2003
15 years 1 months ago
2003
Abstract: Democratic societies throughout the world, it appears, are facing a new type of threat dubbed "asymmetric threat." In this new threat environment the world gove...
105
click to vote
TREC
2003
15 years 1 months ago
2003
The Tarragon Consulting team participated in the primary task of the TREC 2003 Genomics Track. We used a combination of knowledge-engineering and corpus analysis to construct sema...
118
click to vote
UAI
2003
15 years 1 months ago
2003
Group elevator scheduling is an NP-hard sequential decision-making problem with unbounded state spaces and substantial uncertainty. Decision-theoretic reasoning plays a surprising...