1018 search results - page 178 / 204 » Property Testing in Computational Geometry |
ICMCS
2007
IEEE
14 years 2 months ago
2007
IEEE
Breast cancer is one of the most common diseases among women. Content-based mammogram retrieval has been proposed to aid various medical procedures. To develop a content-based mam...
ECOWS
2007
Springer
14 years 2 months ago
2007
Springer
Service composition and service statefulness are key concepts in Web Service system programming. In this paper we present JOLIE, which is the full implementation of our formal cal...
EMSOFT
2007
Springer
14 years 2 months ago
2007
Springer
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated gener...
SMI
2006
IEEE
14 years 2 months ago
2006
IEEE
We discuss a shape representation based on a set of disconnected (planar) polygons. The polygons are computed by creating a BSP that contains approximately linear surface patches ...
ASPLOS
2006
ACM
14 years 2 months ago
2006
ACM
We present the design, implementation, and evaluation of HeapMD, a dynamic analysis tool that finds heap-based bugs using anomaly detection. HeapMD is based upon the observation ...