Sciweavers

1018 search results - page 29 / 204
» Property Testing in Computational Geometry
Sort
View
STACS
2001
Springer
14 years 3 months ago
Evasiveness of Subgraph Containment and Related Properties
We prove new results on evasiveness of monotone graph properties by extending the techniques of Kahn, Saks, and Sturtevant [Combinatorica, 4 (1984), pp. 297–306]. For the propert...
Amit Chakrabarti, Subhash Khot, Yaoyun Shi
MICCAI
2009
Springer
15 years 3 days ago
A Fast Alternative to Computational Fluid Dynamics for High Quality Imaging of Blood Flow
Obtaining detailed, patient-specific blood flow information would be very useful in detecting and monitoring cardio-vascular diseases. Current approaches rely on computational flui...
Robert H. P. McGregor, Dominik Szczerba, Krishnamu...
APSCC
2009
IEEE
14 years 5 months ago
Modeling and testing of cloud applications
What is a cloud application precisely? In this paper, we formulate a computing cloud as a kind of graph, a computing resource such as services or intellectual property access righ...
W. K. Chan, Lijun Mei, Zhenyu Zhang
DAGSTUHL
2004
14 years 10 days ago
Testing with Functions as Specifications
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...
Pieter W. M. Koopman
ICCTA
2007
IEEE
14 years 5 months ago
A Comparative Study on 2D Curvature Estimators
Curvature is a frequently used property in two-dimensional (2D) shape analysis, directly or for derived features such as corners or convex and concave arcs. This paper presents cur...
Simon Hermann, Reinhard Klette