2446 search results - page 198 / 490 » Characterizing the Performance of |
165
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
167
click to vote
ERSHOV
2001
Springer
15 years 11 months ago
2001
Springer
There are many different ways of proving formulas in proposition logic. Many of these can easily be characterized as forms of resolution (e.g. [12] and [9]). Others use so-called...
171
click to vote
MCS
2001
Springer
15 years 11 months ago
2001
Springer
For learning purposes, representations of real world objects can be built by using the concept of dissimilarity (distance). In such a case, an object is characterized in a relative...
159
click to vote
IJCNN
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes a novel network model, which is able to control its growth on the basis of the approximation requests. Two classes of self-tuning neural models are considered...
182
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
We present a methodology for the watermarking of synchronous sequential circuits that makes it possible to identify the authorship of designs by imposing a digital watermark on th...