2539 search results - page 150 / 508 » Debugging Method Names |
117
click to vote
APLAS
2009
ACM
15 years 9 months ago
2009
ACM
We define a higher-order process calculus with algebraic operations such as encryption and decryption, and develop a bisimulation proof method for behavioral equivalence in this c...
103
Voted
SMALLTALK
2007
Springer
15 years 8 months ago
2007
Springer
To extract abstract views of the behavior of an object-oriented system for reverse engineering, a body of research exists that analyzes a system’s runtime execution. Those approa...
109
click to vote
IWANN
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In Machine Learning, ensembles are combination of classifiers. Their objective is to improve the accuracy. In previous works, we have presented a method for the generati...
118
Voted
OTM
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Due to the inherent difficulties associated with manual ontology building, knowledge acquisition and reuse are often seen as methods that can make this tedious process ea...
140
click to vote
COLT
1999
Springer
15 years 6 months ago
1999
Springer
We propose a new boosting algorithm. This boosting algorithm is an adaptive version of the boost by majority algorithm and combines bounded goals of the boost by majority algorith...