14298 search results - page 2490 / 2860 » Dynamic Languages and Applications |
202
click to vote
IASTEDSEA
2004
15 years 8 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
178
click to vote
DLOG
2001
15 years 8 months ago
2001
For description logics with existential restrictions, the size of the least common subsumer (lcs) of concept descriptions may grow exponentially in the size of the concept descrip...
218
click to vote
DLOG
2000
15 years 8 months ago
2000
In this paper, we demonstrate that the main standard optimization techniques dependency directed backtracking and model merging can be adapted to description logics with concrete ...
167
click to vote
WIESS
2000
15 years 8 months ago
2000
As IPC mechanisms become faster, stub-code efficiency becomes a performance issue for local client/server RPCs and inter-component communication. Inefficient and unnecessary compl...
185
click to vote
CLEF
2010
Springer
15 years 7 months ago
2010
Springer
In the intellectual property field two tasks are of high relevance: prior art searching and patent classification. Prior art search is fundamental for many strategic issues such as...