2421 search results - page 178 / 485 » Integrity Assurance Technique Using Determinant Approach |
128
Voted
GRAPHICSINTERFACE
2001
15 years 5 months ago
2001
Physics-based modeling integrates dynamics and geometry. The standard methods to solve the Lagrangian equations use a direct approach in the spatial domain. Though extremely power...
166
Voted
CAD
2004
Springer
15 years 3 months ago
2004
Springer
Solid modeling based on partial differential equations (PDEs) can potentially unify both geometric constraints and functional requirements within a single design framework to mode...
127
click to vote
DEXAW
2005
IEEE
15 years 9 months ago
2005
IEEE
In the domain of bioinformatics, the role played in the biological process by proteins, that act as transmitters and receivers of information thus ruling the mechanisms that deter...
166
click to vote
VLSID
2004
IEEE
16 years 3 months ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...
115
Voted
ICNC
2005
Springer
15 years 9 months ago
2005
Springer
Principal Component Analysis (PCA) and Linear Discriminant Analysis (LDA) techniques are important and well-developed area of image recognition and to date many linear discriminati...