4965 search results - page 182 / 993 » A Simple Abstraction for Data Modeling |
159
click to vote
FMOODS
2003
15 years 7 months ago
2003
Concurrent and distributed systems have traditionally been modelled using nondeterministic transitions over configurations. The minism provides an abstraction over scheduling, net...
177
click to vote
MICCAI
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. In medical imaging, finding landmarks that provide biologically meaningful correspondences is often a challenging and time-consuming manual task. In this paper we propose...
156
click to vote
GMP
2006
IEEE
16 years 16 days ago
2006
IEEE
Abstract. We present an approach for robust shape retrieval from databases containing articulated 3D shapes. We represent each shape by the eigenvectors of an appropriately define...
160
click to vote
EUROPAR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Failure is an ordinary characteristic of large-scale distributed environments. Resubmission is a general strategy employed to cope with failures in grids. Here, we analyt...
171
click to vote
TACAS
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We have argued previously that the e ectiveness of a veri cation system derives not only from the power of its individual features for expression and deduction, but from ...