17329 search results - page 218 / 3466 » Improved non-approximability results |
JAR
2006
13 years 10 months ago
2006
The dependency pair technique [1, 11, 12] is a powerful method for automated termination and innermost termination proofs of term rewrite systems (TRSs). For any TRS, it generates ...
DKE
2007
13 years 10 months ago
2007
This paper presents a methodology for knowledge acquisition from source code. We use data mining to support semiautomated software maintenance and comprehension and provide practi...
DKE
2007
13 years 10 months ago
2007
One of the main factors for the knowledge discovery success is related to the comprehensibility of the patterns discovered by applying data mining techniques. Amongst which we can...
IPL
2007
13 years 10 months ago
2007
The use of elliptic curve cryptosystems on embedded systems has been becoming widespread for some years. Therefore the resistance of such cryptosystems to side-channel attacks is ...
CCE
2004
13 years 10 months ago
2004
Design process excellence is considered a major differentiating factor between competing enterprises since it determines the constraints within which plant operation and supply ch...