Sciweavers

9015 search results - page 346 / 1803
» Using Structural Computing to Support Information Integratio...
Sort
View
AICOM
2004
100views more  AICOM 2004»
15 years 4 months ago
Query rewriting with symmetric constraints
Abstract. We address the problem of answering queries using expressive symmetric inter-schema constraints which allow to establish mappings between several heterogeneous informatio...
Christoph Koch
ECOOPW
1999
Springer
15 years 9 months ago
Understanding Object Oriented Software Systems without Source Code Inspection
An approach for metrics-based tool support for the task of understanding object oriented software systems is presented. It stresses the combined presentation of structural informa...
Gerd Köhler, Heinrich Rust, Frank Simon
DSVIS
1998
Springer
15 years 9 months ago
Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
Meurig Sage, Chris Johnson
DAC
2003
ACM
16 years 5 months ago
Optimizations for a simulator construction system supporting reusable components
Exploring a large portion of the microprocessor design space requires the rapid development of efficient simulators. While some systems support rapid model development through the...
David A. Penry, David I. August
CRV
2009
IEEE
225views Robotics» more  CRV 2009»
15 years 11 months ago
3D Modeling from Multiple Views with Integrated Registration and Data Fusion
This paper presents an integrated modeling system capable of generating coloured three dimensional representations of a scene observed from multiple viewpoints. Emphasis is given ...
Alain Boyer, Phillip Curtis, Pierre Payeur