1547 search results - page 264 / 310 » The Isabelle Collections Framework |
153
click to vote
ASPLOS
2008
ACM
15 years 6 months ago
2008
ACM
Parallel and concurrent garbage collectors are increasingly employed by managed runtime environments (MREs) to maintain scalability, as multi-core architectures and multi-threaded...
119
Voted
LREC
2008
15 years 5 months ago
2008
The aim of this paper is to present the design of a multimodal database suitable for research on new possibilities for automatic diagnosis of patients with severe obstructive slee...
160
click to vote
TREC
2008
15 years 5 months ago
2008
This paper describes our participation in the 2008 TREC Blog track. Our system consists of 3 components: data preprocessing, topic retrieval, and opinion finding. In the topic ret...
193
Voted
AAMAS
2006
Springer
15 years 4 months ago
2006
Springer
In this paper, we investigate Reinforcement learning (RL) in multi-agent systems (MAS) from an evolutionary dynamical perspective. Typical for a MAS is that the environment is not ...
139
click to vote
BIOINFORMATICS
2006
15 years 4 months ago
2006
Motivation: Intervention in a gene regulatory network is used to avoid undesirable states, such as those associated with a disease. Several types of intervention have been studied...