433 search results - page 84 / 87 » Contracts: From Analysis to C Implementation |
AAAI
2010
14 years 11 months ago
2010
In a previous paper, Liu argued for the importance of establishing a precise theoretical foundation for program debugging from first principles. In this paper, we present a first ...
142
click to vote
NIPS
2008
14 years 11 months ago
2008
Many machine learning algorithms require the summation of Gaussian kernel functions, an expensive operation if implemented straightforwardly. Several methods have been proposed to...
GEOINFO
2004
14 years 11 months ago
2004
Volume rendering techniques can be very useful in geographical information systems to provide meaningful and visual information about the surface and the interior of 3D datasets. ...
106
click to vote
CGIM
2003
14 years 11 months ago
2003
A novel snake model suitable for edge extraction of bandshape objects is presented in this paper. Based on the proposed model, an edge tracking system, EdgeTrak, has been develope...
BMCBI
2008
14 years 9 months ago
2008
Background: Over 60% of protein-coding genes in vertebrates express mRNAs that undergo alternative splicing. The resulting collection of transcript isoforms poses significant chal...