2018 search results - page 207 / 404 » Code Normal Forms |
140
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Although software managers are generally good at new project estimation, their experience of scheduling rework tends to be poor. Inconsistent or incorrect effort estimation can in...
713
click to vote
Book
"Bxbasic is presented as a programming tutorial, to develop and construct a Console Mode Scripting Engine and
Byte Code Compiler. The Bxbasic dialect, included here, is a sub...
118
click to vote
ICML
2005
IEEE
16 years 4 months ago
2005
IEEE
The integration of diverse forms of informative data by learning an optimal combination of base kernels in classification or regression problems can provide enhanced performance w...
ICDAR
2009
IEEE
15 years 10 months ago
2009
IEEE
A new hybrid page layout analysis algorithm is proposed, which uses bottom-up methods to form an initial data-type hypothesis and locate the tab-stops that were used when the page...
120
click to vote
APLAS
2005
ACM
15 years 8 months ago
2005
ACM
We describe a sound method for automatically proving Hoare triples for loop-free code in Separation Logic, for certain preconditions and postconditions (symbolic heaps). The method...