Sciweavers

261 search results - page 14 / 53
» Ten CAD Challenges
Sort
View
FAC
2008
88views more  FAC 2008»
13 years 10 months ago
The certification of the Mondex electronic purse to ITSEC Level E6
Ten years ago the Mondex electronic purse was certified to ITSEC Level E6, the highest level of assuranceforsecuresystems.ThisinvolvedbuildingformalmodelsintheZnotation,linkingthem...
Jim Woodcock, Susan Stepney, David Cooper, John A....
VIS
2004
IEEE
166views Visualization» more  VIS 2004»
14 years 11 months ago
Quick-VDR: Interactive View-Dependent Rendering of Massive Models
We present a novel approach for interactive view-dependent rendering of massive models. Our algorithm combines view-dependent simplification, occlusion culling, and out-of-core re...
Sung-Eui Yoon, Brian Salomon, Russell Gayle, Dines...
ICCAD
1994
IEEE
122views Hardware» more  ICCAD 1994»
14 years 1 months ago
An enhanced flow model for constraint handling in hierarchical multi-view design environments
In this paper we present an enhanced design flow model that increases the capabilities of a CAD framework to support design activities on hierarchical multi-view design descriptio...
Pieter van der Wolf, K. Olav ten Bosch, Alfred van...
KDD
2006
ACM
170views Data Mining» more  KDD 2006»
14 years 10 months ago
Computer aided detection via asymmetric cascade of sparse hyperplane classifiers
This paper describes a novel classification method for computer aided detection (CAD) that identifies structures of interest from medical images. CAD problems are challenging larg...
Jinbo Bi, Senthil Periaswamy, Kazunori Okada, Tosh...
VRML
2003
ACM
14 years 3 months ago
3D virtual clothing: from garment design to web3d visualization and simulation
One of the major challenges in Computer Graphics concerns the 3D representation and physically-based simulation of garments. In our research, we are working closely with the texti...
Luca Chittaro, Demis Corvaglia