2042 search results - page 168 / 409 » A Global Grid Model Based on |
186
click to vote
SIGMETRICS
2010
ACM
16 years 1 days ago
2010
ACM
In this paper, we consider a generic model of computational grids, seen as several clusters of homogeneous processors. In such systems, a key issue when designing efficient job al...
228
click to vote
TASE
2011
IEEE
14 years 11 months ago
2011
IEEE
Abstract—A fast offset surface generation approach is presented in this paper to construct intersection-free offset surfaces, which preserve sharp features, from freeform triangu...
172
click to vote
MEMOCODE
2005
IEEE
16 years 24 days ago
2005
IEEE
In principle, bounded model checking (BMC) leads to semidecision procedures that can be used to verify liveness properties and to falsify safety properties. If the procedures fail...
178
click to vote
VRST
2003
ACM
16 years 14 days ago
2003
ACM
We propose a real-time interactive system that enables users to generate, manipulate and edit the shape model of a tree based on growth simulation by directly indicating its globa...
208
click to vote
ECCV
2010
Springer
16 years 11 days ago
2010
Springer
We present a data-driven approach to predict the importance of edges and construct a Markov network for image analysis based on statistical models of global and local image feature...