Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
satisfiability-modulo-theory
biblio
An overflow free fixed-point eigenvalue decomposition algorithm: Case study of dimensionality reduction in hyperspectral images
Submitted by grigby1 on Thu, 12/28/2017 - 1:16pm
formal methods
satisfiability-modulo-theory
range analysis
pubcrawl
overflow
Metrics
Jacobian matrices
interval arithmetic
integer bit-width allocation
Hyperspectral imaging
Affine arithmetic
fixed-point arithmetic
estimation
Eigenvalues and eigenfunctions
eigenvalue decomposition
decomposition
Covariance matrices
Compositionality
Algorithm design and analysis
