Sciweavers

347 search results - page 41 / 70
» Hierarchical Collectives in MPICH2
Sort
View
APN
2003
Springer
14 years 2 months ago
Model Checking Safety Properties in Modular High-Level Nets
Model checking by exhaustive state space enumeration is one of the most developed analysis methods for distributed event systems. Its main problem—the size of the state spaces—...
Marko Mäkelä
HPCN
2000
Springer
14 years 12 days ago
Ruling Agent Motion in Structured Environments
The design and development of cooperative Internet applications based on mobile agents require appropriate modelling of both the physical space where agents roam and the conceptual...
Marco Cremonini, Andrea Omicini, Franco Zambonelli
MICCAI
2000
Springer
14 years 11 days ago
Multimodal Non-rigid Warping for Correction of Distortions in Functional MRI
This paper deals with the correction of distortions in EPI acquisitions. Echo-planar imaging (EPI) data is used in functional resonance imaging (fMRI) and in diffusion tensor MRI (...
Pierre Hellier, Christian Barillot
RIAO
2007
13 years 10 months ago
Homepage Finding in Hybrid Peer-to-Peer Networks
This paper illustrates a ranking scheme which combines fulltext, anchor text and URL structure for homepage finding in hybrid peer-to-peer networks. The experimental results show...
Enrico Bragante, Massimo Melucci
CORIA
2006
13 years 10 months ago
Une Indexation conceptuelle pour un filtrage par dimensions
In order to resolve multi-dimentional queries, we propose a conceptual indexing based on a medical meta thesaurus (UMLS). We study the impact of this indexing compared to a words-b...
Saïd Radhouani, Loïc Maisonnasse, Joo-Hw...