1018 search results - page 50 / 204 » Property Testing in Computational Geometry |
COMPGEOM
1994
ACM
14 years 2 months ago
1994
ACM
We devise techniques to manipulate a collection of loosely interpenetrating spheres in threedimensional space. Our study is motivated by the representation and manipulation of mol...
CCE
2005
13 years 11 months ago
2005
Computational fluid dynamics (CFD) of complex processes and complicated geometries embraces the transport of momentum, heat, and mass including the description of reaction kinetic...
CONCUR
2006
Springer
14 years 2 months ago
2006
Springer
Impossible futures equivalence is the semantic equivalence on labelled transition systems that identifies systems iff they have the same "AGEF" properties: temporal logic...
ICTAC
2009
Springer
13 years 8 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
ISBI
2007
IEEE
14 years 5 months ago
2007
IEEE
Nanotechnology researchers are developing miniature, lowpower x-ray devices. These innovations might revolutionize the world of computed tomography (CT). Tiny x-ray emitters and d...