6508 search results - page 29 / 1302 » Development and the Baldwin Effect |
ICFP
2010
ACM
13 years 10 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
IWPSE
2003
IEEE
14 years 2 months ago
2003
IEEE
One of the issues in software evolution is debugging. Debugging large and complex software systems evolved requires a lot of effort since it is very difficult to localize and ide...
MSE
1999
IEEE
14 years 1 months ago
1999
IEEE
This paper summarizes the background and history leading to the development, adoption, and implementation of ABET's Engineering Criteria 2000 (EC2000). A sampling of program ...
WWW
2011
ACM
13 years 4 months ago
2011
ACM
We develop an approach for measuring the effectiveness of online display advertising at the campaign level. We present a Kalman filtering approach to deseasonalize and estimate ...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
There is an increasing number of methods for removing haze and fog from a single image. One of such methods is Dark Channel Prior (DCP). The goal of this paper is to develop a mat...