1034 search results - page 140 / 207 » Competitive generalized auctions |
ESOP
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Multithreaded programs are prone to errors caused by unintended interference between concurrent threads. This paper focuses on verifying that deterministically-parallel c...
WABI
2009
Springer
14 years 3 months ago
2009
Springer
Regulatory antisense RNAs are a class of ncRNAs that regulate gene expression by prohibiting the translation of an mRNA by establishing stable interactions with a target sequence. ...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
Distributed Constraint Optimization (DCOP) provides a rich framework for modeling multi-agent coordination problems. Existing problem domains for DCOP focus on small (<100 vari...
CIARP
2009
Springer
14 years 3 months ago
2009
Springer
Many tasks can be described by sequences of actions that normally exhibit some form of structure and that can be represented by a grammar. This paper introduces FOSeq, an algorithm...
CIKM
2009
Springer
14 years 3 months ago
2009
Springer
We consider the coverage testing problem where we are given a document and a corpus with a limited query interface and asked to find if the corpus contains a near-duplicate of th...