146 search results - page 19 / 30 » C Templates as Partial Evaluation |
PEPM
2009
ACM
15 years 8 months ago
2009
ACM
The goal of the Parfait project is to find bugs in C source code in a scalable and precise way. To this end, Parfait was designed as a framework with layers of sound program anal...
SIGMOD
1998
ACM
15 years 3 months ago
1998
ACM
Remote data access from disparate sources across a widearea network such as the Internet is problematic due to the unpredictable nature of the communications medium and the lack o...
MICCAI
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. In this paper, we propose a new feature based non-rigid image registration method for dealing with two important issues. First, in order to establish reliable anatomical ...
ISBI
2008
IEEE
15 years 6 months ago
2008
IEEE
Automated detection and segmentation of nuclear and glandular structures is critical for classification and grading of prostate and breast cancer histopathology. In this paper, w...
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
An e-Negotiation process comprises computerfacilitated tasks, each of which aims at resolving an issue or a collection of co-related issues under negotiation. It involves an itera...