Sciweavers

5246 search results - page 179 / 1050
» Sanitization models and their limitations
Sort
View
AFRIGRAPH
2003
ACM
15 years 3 months ago
Topology alteration for virtual sculpting using spatial deformation
Virtual sculpting enables the creation of computer models by emulating traditional sculpting. It can be implemented using spatial deformation, an interactive versatile modelling t...
Barry Steyn, James E. Gain
CAINE
2003
15 years 1 months ago
POMDP Planning for High Level UAV Decisions: Search vs. Strike
The Partially Observable Markov Decision Process (POMDP) model is explored for high level decision making for Unmanned Air Vehicles (UAVs). The type of UAV modeled is a flying mun...
Doug Schesvold, Jingpeng Tang, Benzir Md Ahmed, Ka...
PRDC
2006
IEEE
15 years 5 months ago
Detecting and Exploiting Symmetry in Discrete-state Markov Models
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
W. Douglas Obal II, Michael G. McQuinn, William H....
SIGMOD
1997
ACM
100views Database» more  SIGMOD 1997»
15 years 4 months ago
MDM: a Multiple-Data-Model Tool for the Management of Heterogeneous Database Schemes
MDM is a tool that enables the users to de ne schemes of di erent data models and to perform translations of schemes from one model to another. These functionalities can be at the...
Paolo Atzeni, Riccardo Torlone
CPE
1994
Springer
170views Hardware» more  CPE 1994»
15 years 3 months ago
Automatic Scalability Analysis of Parallel Programs Based on Modeling Techniques
When implementingparallel programs forparallel computer systems the performancescalability of these programs should be tested and analyzed on different computer configurations and...
Allen D. Malony, Vassilis Mertsiotakis, Andreas Qu...