15416 search results - page 2751 / 3084 » Embeddings of Computable Structures |
170
Voted
ALENEX
2007
15 years 8 months ago
2007
We present a novel randomized approach to the graph isomorphism problem. Our algorithm aims at solving difficult instances by producing randomized certificates for non-isomorphis...
193
click to vote
AVI
2010
15 years 8 months ago
2010
The paper proposes an approach to EUD focusing on communities: on the one hand, users are considered as a community of cooperating actors; on the other hand, applications and devi...
181
click to vote
BDA
2007
15 years 8 months ago
2007
The paper presents a complete framework for spatial indexing support in a distributed setting. We consider a shared-nothing environment where a set of servers provides independent...
174
click to vote
BILDMED
2007
15 years 8 months ago
2007
Abstract. We describe a new method to support the segmentation of a volumetric MRI- or CT-dataset such that only the components selected by the user are displayed by a volume rende...
171
click to vote
BILDMED
2008
15 years 8 months ago
2008
In the clinical environment the segmentation of organs is an increasingly important application and used, for example, to restrict the perfusion analysis to a certain organ. In ord...