234 search results - page 19 / 47 » QuARS Express - A Tool Demonstration |
AAAI
2000
13 years 8 months ago
2000
Combinatorial auctions (CAs) have emerged as an important model in economics and show promise as a useful tool for tackling resource allocation in AI. Unfortunately, winner determ...
TIT
2002
13 years 7 months ago
2002
We present a theory, based on statistical mechanics, to evaluate analytically the performance of uncoded, fully synchronous, randomly spread code-division multiple-access (CDMA) mu...
BMCBI
2008
13 years 7 months ago
2008
Background: There is great interest in probing the temporal and spatial patterns of cytosine methylation states in genomes of a variety of organisms. It is hoped that this will sh...
BMCBI
2006
13 years 7 months ago
2006
Background: Biological databases and pathway knowledgebases are proliferating rapidly. We are developing software tools for computer-aided hypothesis design and evaluation, and we...
MODELS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...