846 search results - page 130 / 170 » Rewrite-Based Decision Procedures |
151
click to vote
BIBE
2007
IEEE
15 years 11 months ago
2007
IEEE
—High-throughput data such as microarrays make it possible to investigate the molecular-level mechanism of cancer more efficiently. Computational methods boost the microarray ana...
141
click to vote
ADAEUROPE
2007
Springer
15 years 11 months ago
2007
Springer
When developing concurrent software, a proper engineering practice is to choose a good level of abstraction for expressing concurrency control. Ideally, this level should provide p...
144
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
Optimal resource scheduling in multiagent systems is a computationally challenging task, particularly when the values of resources are not additive. We consider the combinatorial ...
147
click to vote
COLT
2007
Springer
15 years 11 months ago
2007
Springer
This paper analyzes the potential advantages and theoretical challenges of “active learning” algorithms. Active learning involves sequential sampling procedures that use infor...
154
click to vote
CONCUR
2007
Springer
15 years 11 months ago
2007
Springer
Scenario languages based on Message Sequence Charts (MSCs) have been widely studied in the last decade [21,20,3,15,12,19,14]. The high expressive power of MSCs renders many basic ...