2409 search results - page 145 / 482 » Logical systems for structured specifications |
171
click to vote
FSKD
2006
Springer
15 years 10 months ago
2006
Springer
Data mining tools generally deal with highly structured and precise data. However, classical methods fail to handle imprecise or uncertain information. This paper proposes a neuro-...
177
click to vote
SAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper we investigate the existence of a deductive veri cation method based on a logic that describes pointer aliasing. The main idea of such a method is that the ...
188
click to vote
ICCAD
1994
IEEE
15 years 10 months ago
1994
IEEE
The BIST implementation of a conventionally synthesized controller in most cases requires the integration of an additional register only for test purposes. This leads to some seri...
173
click to vote
AAAI
2007
15 years 8 months ago
2007
Transfer learning addresses the problem of how to leverage knowledge acquired in a source domain to improve the accuracy and speed of learning in a related target domain. This pap...
220
click to vote
CASES
2007
ACM
15 years 10 months ago
2007
ACM
With increasing complexity of modern embedded systems, the availability of highly optimizing compilers becomes more and more important. At the same time, application specific inst...