6047 search results - page 745 / 1210 » Modeling with Extend |
159
click to vote
ISAAC
2007
Springer
16 years 1 months ago
2007
Springer
Checking value-sensitive data structures in sublinear space has been an open problem for over a decade. In this paper, we suggest a novel approach to solving it. We show that, in c...
157
click to vote
ISPEC
2007
Springer
16 years 1 months ago
2007
Springer
Considerable research and experiment results in recent years have shown that the server-proxy-user architecture represents an efficient and scalable new paradigm for multimedia con...
162
click to vote
ISVC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. A general framework for image segmentation is presented in this paper, based on the paradigm of water flow. The major water flow attributes like water pressure, surface t...
208
click to vote
LFCS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We consider weighted o-minimal hybrid systems, which extend classical o-minimal hybrid systems with cost functions. These cost functions are “observer variables” whic...
198
click to vote
OTM
2007
Springer
16 years 1 months ago
2007
Springer
Scientists are increasingly utilizing Grids to manage large data sets and execute scientific experiments on distributed resources. Scientific workflows are used as means for modeli...