Sciweavers

4096 search results - page 216 / 820
» An Object Model for Interoperable Systems
Sort
View
168
Voted
WISE
2002
Springer
15 years 10 months ago
Storing and Maintaining Semistructured Data Efficiently in an Object-Relational Database
We propose to use object-relational database management systems to store and manage semi-structured data. ORA-SS (Object-Relationship-Attribute model for Semi-Structured data) [9]...
Yuanying Mo, Tok Wang Ling
NFM
2011
264views Formal Methods» more  NFM 2011»
14 years 12 months ago
Applying Atomicity and Model Decomposition to a Space Craft System in Event-B
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, Mich...
NPAR
2009
ACM
15 years 11 months ago
Airbrush simulation for artwork and computer modeling
A computerized airbrush system with a full three dimensional airbrush interface is presented. The position and orientation of an electronic airbrush tool is tracked in space, and,...
Jonathan Konieczny, Gary W. Meyer
IPPS
1999
IEEE
15 years 9 months ago
The Biological Basis of the Immune System as a Model for Intelligent Agents
This paper describes the human immune system and its functionalities from a computational viewpoint. The objective of this paper is to provide the biological basis for an artificia...
Roger L. King, Aric B. Lambert, Samuel H. Russ, Do...
120
Voted
TOG
2002
130views more  TOG 2002»
15 years 4 months ago
Real-time 3D model acquisition
The digitization of the 3D shape of real objects is a rapidly expanding field, with applications in entertainment, design, and archaeology. We propose a new 3D model acquisition s...
Szymon Rusinkiewicz, Olaf A. Hall-Holt, Marc Levoy