3025 search results - page 27 / 605 » Computational geometry: a retrospective |
ACSAC
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper provides a retrospective view of the design of SRI’s Provably Secure Operating System (PSOS), a formally specified tagged-capability hierarchical system architecture...
CIE
2005
Springer
14 years 3 months ago
2005
Springer
We promote the concept of object directed computability in computational geometry in order to faithfully generalise the wellestablished theory of computability for real numbers and...
ICPP
2002
IEEE
14 years 2 months ago
2002
IEEE
We develop efficient algorithms for problems in computational geometry—convex hull, smallest enclosing box, ECDF, two-set dominance, maximal points, all-nearest neighbor, and c...
ETVC
2008
13 years 11 months ago
2008
Computational anatomy is an emerging discipline that aims at analyzing and modeling the individual anatomy of organs and their biological variability across a population. The goal ...
IMR
2005
Springer
14 years 3 months ago
2005
Springer