1472 search results - page 256 / 295 » Data Warehouse Configuration |
ACTA
2010
14 years 10 months ago
2010
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...
AES
2008
Springer
14 years 10 months ago
2008
Springer
The paper summarises the ambient vibration-based assessment of an historic suspension footbridge, dating back to 1928. The footbridge is characterised by the timber floor system s...
100
click to vote
CCR
2010
14 years 10 months ago
2010
Network management operations are complicated, tedious and error-prone, requiring significant human involvement and expert knowledge. In this paper, we first examine the fundament...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
In recent years, the significant growth of RDF data used in numerous applications has made its efficient and scalable manipulation an important issue. In this paper, we present RD...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
We describe a new approach to fit the polyhedron describing a 3D building model to the point cloud of a Digital Elevation Model (DEM). We introduce a new kinetic framework that hi...