4555 search results - page 624 / 911 » Deductive Algorithmic Knowledge |
228
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: The identification of relevant biological features in large and complex datasets is an important step towards gaining insight in the processes underlying the data. Oth...
208
click to vote
SIAMCOMP
2000
15 years 6 months ago
2000
We propose a provably efficient application-controlled global strategy for organizing a cache of size k shared among P application processes. Each application has access to informa...
161
click to vote
RC
1998
15 years 6 months ago
1998
Abstract. The epsilon-inflation proved to be useful and necessary in many verification algorithms. Different definitions of an epsilon-inflation are possible, depending on the...
237
click to vote
ANTSW
2010
Springer
15 years 4 months ago
2010
Springer
We introduce a novel multi-agent patrolling strategy. By assumption, the swarm of agents performing the task consists of very low capability ant-like agents. The agents have littl...
213
click to vote
MICCAI
2010
Springer
15 years 4 months ago
2010
Springer
Groupwise registration has been widely investigated in recent years due to its importance in analyzing population data in many clinical applications. To our best knowledge, most o...