1547 search results - page 264 / 310 » The Isabelle Collections Framework |
121
click to vote
ASPLOS
2008
ACM
15 years 2 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...
86
Voted
LREC
2008
15 years 2 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...
122
Voted
TREC
2008
15 years 2 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...
155
click to vote
AAMAS
2006
Springer
15 years 18 days 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 ...
105
click to vote
BIOINFORMATICS
2006
15 years 18 days 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...