8370 search results - page 819 / 1674 » Challenges in P2P Computing |
188
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
This paper discusses the application of distributed constraint optimization to coordination in disaster management situations under sub-optimal network conditions. It presents an ...
220
click to vote
BPM
2008
Springer
15 years 9 months ago
2008
Springer
We present a field study of oncology workflow, involving doctors, nurses and pharmacists at Danish hospitals and discuss the obstacles, enablers and challenges for the use of compu...
189
click to vote
ITP
2010
15 years 9 months ago
2010
We present a new formalization of the algebraic hierarchy in Coq, exploiting its new type class mechanism to make practical a solution formerly thought infeasible. Our approach add...
213
click to vote
CPAIOR
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Haplotype inference has relevant biological applications, and represents a challenging computational problem. Among others, pure parsimony provides a viable modeling appr...
239
click to vote
DAGM
2008
Springer
15 years 9 months ago
2008
Springer
Three-dimensional electron-microscopic image stacks with almost isotropic resolution allow, for the first time, to determine the complete connection matrix of parts of the brain. I...