4340 search results - page 454 / 868 » Formal Methods and Cryptography |
192
click to vote
TCBB
2008
15 years 6 months ago
2008
The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of the system's behav...
199
click to vote
ICPR
2008
IEEE
16 years 8 months ago
2008
IEEE
We present a new method for relevance feedback in image retrieval and a scheme to learn weighted distances which can be used in combination with different relevance feedback metho...
160
click to vote
OOPSLA
2004
Springer
16 years 4 days ago
2004
Springer
In an object-oriented language, a derived class may declare a method with the same signature as a method in the base class. The meaning of the re-declaration depends on the langua...
200
click to vote
ASE
2004
15 years 6 months ago
2004
TestEra is a framework for automated specification-based testing of Java programs. TestEra requires as input a Java method (in sourcecode or bytecode), a formal specification of th...
165
click to vote
ECOOP
2005
Springer
16 years 10 days ago
2005
Springer
Advice is a mechanism used by advanced object-oriented and aspect-oriented programming languages to augment the behavior of methods in a program. Advice can help to make programs m...