This paper describes an ongoing research on the representation and reasoning about construction specifications, which is part of a bigger research project that aims at developing a formalism for automating the identification of deviations and defects on construction sites. We specifically describe the requirements on product and process models and an approach for representing and reasoning abou...

423 Successful robotic and automated systems require a well defined, structured and controlled work environment . It is therefore clear that before automation in the construction process can be effectively implemented , uniformity and clarity of the various tasks to be automated must be introduced . The structuring of this process must be addressed in the design phase and maintained through to ...

Automated segmentation of medical images is a difficult task because of the complexity of anatomic structures, inter-patient variability, and imperfect image acquisition. Prior knowledge, in the form of pointbased statistical shape models (point distribution models) of a structure of interest can greatly assist segmentation to robustly find the structure in a patient’s image. Point distribution...

This paper introduces the statistical error modeling approach for a computercontrolled large-scale manipulator (LSM). The LSM is sufficiently representative of several types of construction equipment to be able to serve as a general test bed. In the analysis, three factors which are measurable in real time: distance, hydraulic pressure, and payload, were varied to determine their influence on p...

This article presents a novel autonomous system concept for automated construction of houses and other buildings via deposition of concrete and similar materials. The overall system consists of a novel cable-suspended mobility subsystem (a self-contained extension of the RoboCrane), a deposition nozzle subsystem, a metrology subsystem, and a material supply subsystem. This article focuses mainl...

Elements of urban terrain models such as streets, pavements, lawns, walls, and fences are fundamental for effective recognition and convincing appearance of virtual 3D cities and virtual 3D landscapes. These elements complement important other components such as 3D building models and 3D vegetation models. This paper introduces an object-oriented, rule-based and heuristic-based approach for mod...

A new approach for automating the construction and verification of imperative programs is presented. Based on the standard methods of Dijkstra, Gries and Hoare, it supports a game of proof and refutation with automated theorem provers, model search tools and computer algebra systems combined with “hidden” domain-specific algebraic theories that have been designed and optimised for automation. T...

We present a fully unsupervised method for automated construction of WordNets based upon recent advances in distributional representations of sentences and word-senses combined with readily available machine translation tools. The approach requires very few linguistic resources and is thus extensible to multiple target languages. To evaluate our method we construct two 600-word test sets for wo...

Recent legal cases have shown that digital evidence is becoming more widely used in court proceedings (by defense, accusation, public prosecutor, etc.). Digital tracks can be left on computers, phones, digital cameras as well as third party servers belonging to Internet Service Providers (ISPs), telephone providers and companies that provide services via Internet such as YouTube, Facebook, Gmai...

The subject of this paper is the semi-automatic construction of taxonomies over the Web. We address the problem of discovering high-quality resources that belong in a particular node of a taxonomy. We show that minimal additional effort is required to provide relevance feedback in a hyperlinked environment, resulting in significant and consistent improvement in quality. Furthermore, this feedba...