2018 search results - page 210 / 404 » Code Normal Forms |
112
click to vote
AMAI
2005
Springer
15 years 2 months ago
2005
Springer
Using the ideas from current investigations in Knowledge Representation we study the use of a class of logic programs for reasoning about infinite sets. Our programs reason about t...
ENTCS
2002
15 years 2 months ago
2002
The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and...
106
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Interface adaptation allows code written for one interface to be used with a software component with another interface. When multiple adapters are chained together to make certain...
127
click to vote
MIR
2010
ACM
15 years 9 months ago
2010
ACM
Sparse coding is a key principle that underlies wavelet representation of natural images. In this paper, we explain that the effort of seeking a common wavelet sparse coding of i...
119
click to vote
PLDI
2006
ACM
15 years 8 months ago
2006
ACM
Procedures have long been the basic units of compilation in conventional optimization frameworks. However, procedures are typically formed to serve software engineering rather tha...