1719 search results - page 230 / 344 » Magic Sets for Data Integration |
DAGM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper presents the integration of 3D shape knowledge into a variational model for level set based image segmentation and tracking. Having a 3D surface model of an ob...
DBISP2P
2003
Springer
15 years 3 months ago
2003
Springer
When joining information provider peers to a peer-to-peer network, an arbitrary distribution is sub-optimal. In fact, clustering peers by their characteristics, enhances search and...
ATVA
2006
Springer
15 years 1 months ago
2006
Springer
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
GCC
2006
Springer
15 years 1 months ago
2006
Springer
Interoperability between different Grid implementations is attracting more and more attention to seamlessly job execution. In this paper, one approach is proposed to implement the...
ESOP
2010
Springer
15 years 1 months ago
2010
Springer
Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Se...