Sciweavers

4738 search results - page 605 / 948
» Correlated Data Inference
Sort
View
BMVC
2002
15 years 9 months ago
Improving architectural 3D reconstruction by plane and edge constraining
This paper presents new techniques for improving the structural quality of automatically acquired architectural 3D models. Common architectural features like parallelism and ortho...
H. Cantzler, Robert B. Fisher, Michel Devy
DLOG
2007
15 years 9 months ago
A Proof Theory for DL-Lite
Abstract. In this work we propose an alternative approach to inference in DLLite, based on a reduction to reasoning in an extension of function-free Horn Logic (EHL). We develop a ...
Diego Calvanese, Evgeny Kharlamov, Werner Nutt
WSC
2008
15 years 9 months ago
Linking ergonomics simulation to production process development
Production development can conflict with production ergonomics and management of environmental impacts. In this paper, we describe how ergonomics can be assessed in production sys...
Salla Lind, Boris Krassi, Juhani Viitaniemi, Sauli...
ERCIMDL
2008
Springer
75views Education» more  ERCIMDL 2008»
15 years 8 months ago
Matching Hierarchies Using Shared Objects
One of the main challenges in integrating two hierarchies is determining the correspondence between the edges of each hierarchy. Traditionally, this process, which we call hierarch...
Robert Ikeda, Kai Zhao, Hector Garcia-Molina
FM
2008
Springer
130views Formal Methods» more  FM 2008»
15 years 8 months ago
Specification and Checking of Software Contracts for Conditional Information Flow
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
Torben Amtoft, John Hatcliff, Edwin Rodrígu...