2373 search results - page 273 / 475 » On the Theory of Structural Subtyping |
178
click to vote
TLCA
2007
Springer
16 years 23 days ago
2007
Springer
Initial algebra semantics is a cornerstone of the theory of modern functional programming languages. For each inductive data type, it provides a fold combinator encapsulating struc...
148
click to vote
VMCAI
2007
Springer
16 years 23 days ago
2007
Springer
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...
139
click to vote
ECBS
2006
IEEE
16 years 22 days ago
2006
IEEE
Refactoring of software systems represents an fundamental way of improving their quality properties. Large-scale refactoring has to be performed at an architectural level to execu...
143
click to vote
ICDM
2006
IEEE
16 years 21 days ago
2006
IEEE
New applications of data mining, such as in biology, bioinformatics, or sociology, are faced with large datasets structured as graphs. We present an efficient algorithm for minin...
162
click to vote
IJCNN
2006
IEEE
16 years 21 days ago
2006
IEEE
— This paper applies a recently developed neural network called plausible neural network (PNN) to function approximation. Instead of using error correction, PNN estimates the mut...