6800 search results - page 507 / 1360 » Testing with Functions as Specifications |
230
click to vote
SIGCSE
2008
ACM
15 years 7 months ago
2008
ACM
Coercing new programmers to adopt disciplined development practices such as thorough unit testing is a challenging endeavor. Test-driven development (TDD) has been proposed as a s...
212
click to vote
CVPR
2007
IEEE
16 years 9 months ago
2007
IEEE
The existing methods for offline training of cascade classifiers take a greedy search to optimize individual classifiers in the cascade, leading inefficient overall performance. W...
163
click to vote
ICIP
2007
IEEE
16 years 9 months ago
2007
IEEE
In this paper we propose a locally adaptive image threshold technique via variational energy minimization. The novelty of the proposed method is that from an image it automaticall...
197
click to vote
ICIP
2003
IEEE
16 years 9 months ago
2003
IEEE
We present a supervised classification model based on a variational approach. This model is specifically devoted to textured images. We want to get a partition of an image, compos...
319
click to vote
ICDE
2006
IEEE
16 years 9 months ago
2006
IEEE
To effectively support today's global economy, database systems need to manage data in multiple languages simultaneously. While current database systems do support the storag...