2370 search results - page 388 / 474 » A Structured Set of Higher-Order Problems |
VTS
1997
IEEE
14 years 2 months ago
1997
IEEE
We address the problem of rectifying an incorrect combinational circuit against a given specification. Based on the symbolic BDD techniques, we consider the rectification process,...
OOPSLA
1997
Springer
14 years 2 months ago
1997
Springer
In an object-oriented programming language, method selection is (usually) done at run-time using the class of the receiver. Some object-orientedlanguages(such as CLOS) have multi-...
CIKM
1994
Springer
14 years 2 months ago
1994
Springer
We investigate the semantics for Knowledge Query Manipulation Language KQML and we propose a semantic framework for the language. KQML is a language and a protocol to support comm...
ALP
1992
Springer
14 years 2 months ago
1992
Springer
Rewriting is a computational paradigm that specifies the actions, but not the control. We introduce a hierarchical structure repreat a high level of abstraction, a form of control....
DOCENG
2007
ACM
14 years 2 months ago
2007
ACM
Optimisation of real world Variable Data printing (VDP) documents is a difficult problem because the interdependencies between layout functions may drastically reduce the number o...