3690 search results - page 514 / 738 » Computation with classical sequents |
212
click to vote
AAAI
2011
14 years 5 months ago
2011
In this paper, we propose a novel method to select the most informative subset of features, which has little redundancy and very strong discriminating power. Our proposed approach...
268
click to vote
CMSB
2011
Springer
14 years 5 months ago
2011
Springer
From the phosphorylation state of a molecule to the volume of a cell, parameters are ubiquitous in systems biology. At the same time, most models involve static or dynamic compart...
185
click to vote
HPCC
2011
Springer
14 years 5 months ago
2011
Springer
— Mapping of parallel applications on the network topology is becoming increasingly important on large supercomputers. Topology aware mapping can reduce the hops traveled by mess...
157
click to vote
HUC
2011
Springer
14 years 5 months ago
2011
Springer
Micro-incentives represent a new but little-studied trend in participant compensation for user studies. In this paper, we use a combination of statistical analysis and models from...
332
click to vote
Publication
The detection of bad weather conditions is crucial for meteorological centers, specially with demand for air, sea and ground traffic management. In this article, a system based on ...