Sciweavers

4266 search results - page 579 / 854
» A Framework for Defining Logics
Sort
View
JCST
2000
91views more  JCST 2000»
15 years 6 months ago
Multi-Volume CAD Modeling for Heterogeneous Object Design and Fabrication
A review of current computer-aided technologies in design and product development, the evolution of CAD modeling, and a framework of multi-volume CAD modeling system for heterogen...
Wei Sun
MTA
2000
112views more  MTA 2000»
15 years 6 months ago
Interactive Multimedia Documents: A Modeling, Authoring and Rendering Approach
In this paper we present our research and development experience in the context of Interactive Multimedia Documents (IMDs). We define a rich model for such documents covering the ...
Michalis Vazirgiannis, D. Tsirikos, Th. Markousis,...
FMSD
2002
114views more  FMSD 2002»
15 years 6 months ago
The Correctness of the Fast Fourier Transform: A Structured Proof in ACL2
The powerlists data structure, created by Misra in the early 90s, is well suited to express recursive, data-parallel algorithms. Misra has shown how powerlists can be used to give ...
Ruben Gamboa
DQ
1998
145views more  DQ 1998»
15 years 6 months ago
Data Quality in the Database Systems Course
Current evidence indicates that poor data quality is pervasive and has a significant negative impact on business success. Information-system (IS) professionals are typically charg...
Richard G. Mathieu, Omar Khalil
MMS
2002
15 years 6 months ago
A retrospective on the design of the GOPI middleware platform
This paper offers a high-level retrospective overview of the GOPI middleware platform which is the outcome of a three year project aimed at the development of generic, configurabl...
Geoff Coulson, Shakuntala Baichoo, Oveeyen Moonian