20197 search results - page 3523 / 4040 » Comparing Computational Power |
150
click to vote
DBPL
2003
Springer
15 years 10 months ago
2003
Springer
We consider the incremental validation of updates on XML documents. When a valid XML document (i.e., one satisfying some constraints) is updated, it has to be verified that the n...
148
click to vote
DEXA
2003
Springer
15 years 10 months ago
2003
Springer
XML is rapidly becoming one of the most adopted standard for information representation and interchange over the Internet. With the proliferation of mobile devices of communication...
144
click to vote
DSOM
2003
Springer
15 years 10 months ago
2003
Springer
The goal of autonomic storage allocation is to achieve allocation of storage resources, their performance monitoring, and hotspot elimination by specifying comparatively high-leve...
157
click to vote
DSVIS
2003
Springer
15 years 10 months ago
2003
Springer
Model Based Testing (MBT) is a functional testing technique that makes use of information from behavioral models of the software to carry out the testing task. This technique has b...
172
click to vote
EMMCVPR
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. In this paper we propose a new variational framework for image segmentation that incorporates the information of expected shape and a few points on the boundary into geod...