816 search results - page 148 / 164 » SAT-Based Image Computation with Application in Reachability... |
105
click to vote
SMI
2005
IEEE
15 years 5 months ago
2005
IEEE
We propose an algorithm for contouring k-manifolds (k = 1, 2) embedded in an arbitrary n-dimensional space. We assume (n−k) geometric constraints are represented as polynomial e...
103
click to vote
VISUALIZATION
2000
IEEE
15 years 4 months ago
2000
IEEE
The microscopic analysis of time dependent 3D live cells provides considerable challenges to visualization. Effective visualization can provide insight into the structure and func...
CGF
2002
14 years 11 months ago
2002
This paper presents an interactive global visualization technique for dense vector fields using levels of detail. We introduce a novel scheme which combines an error-controlled hi...
RAID
2010
Springer
14 years 10 months ago
2010
Springer
Malicious software includes functionality designed to block discovery or analysis by defensive utilities. To prevent correct attribution of undesirable behaviors to the malware, it...
CJ
2010
14 years 9 months ago
2010
Consistent with the divide-and-conquer approach to problem solving, a recursive result is presented in the domain of stochastic modelling that derives product-form solutions for t...