1187 search results - page 118 / 238 » Graph-Based Procedural Abstraction |
152
click to vote
FOSSACS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
123
click to vote
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...
137
click to vote
IBPRIA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents a method to decompose a field of surface normals (needle-map). A diffusion process is used to model the flow of height information induced by a fi...
121
click to vote
ICANN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present a method to find the exact maximal margin hyperplane for linear Support Vector Machines when a new (existing) component is added (removed) to (from) the inner...
125
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result act symptoms during compile-time ch...