3771 search results - page 247 / 755 » Subobject Transformation Systems |
114
click to vote
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Version control systems allow a group of people to work together on a set of documents over a network by merging their changes into the same source repository. The existi...
125
click to vote
FROCOS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper we combine rewriting techniques with verification issues. More precisely, we show how techniques for proving relative termination of term rewrite systems (...
174
click to vote
DBTEL
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. The input data for a data warehouse, coming from operational systems, are not immediately ready for loading into data warehouse. Cleaning and integration could be necessa...
157
click to vote
ICIP
2000
IEEE
15 years 8 months ago
2000
IEEE
Charts are common graphic representation for scientific data in technical and business papers. We present a robust system for detecting and recognizing bar charts. The system incl...
160
click to vote
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper presents a new approach to improve performance of Java programs by extending the superthreaded speculative execution model [14, 15] to exploit coarsegrained parallelism...