3353 search results - page 375 / 671 » Laver and set theory |
167
click to vote
ICSM
1997
IEEE
15 years 11 months ago
1997
IEEE
ÐWe describe a general technique for identifying modules in legacy code. The method is based on concept analysisÐa branch of lattice theory that can be used to identify similarit...
185
click to vote
RTSS
1997
IEEE
15 years 11 months ago
1997
IEEE
In certain real-time applications, ranging from multimedia to telecommunication systems, timing constraints can be more flexible than scheduling theory usually permits. For exampl...
192
click to vote
SIGGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
We develop an accurate, unified treatment of elastica. Following the method of resultant-based formulation to its logical extreme, we derive a higher-order integration rule, or el...
214
click to vote
EWCBR
1993
Springer
15 years 11 months ago
1993
Springer
A major advantage in using a case-based approach to developing knowledge-based systems is that it can be applied to problems where a strong domain theory may be difficult to determ...
164
click to vote
RTA
1993
Springer
15 years 11 months ago
1993
Springer
We propose an extension of rewriting techniques to derive inclusion relations a ⊆ b between terms built from monotonic operators. Instead of using only a rewriting relation ⊆ ...