3362 search results - page 105 / 673 » A definition of subjective possibility |
155
click to vote
CIARP
2006
Springer
15 years 10 months ago
2006
Springer
Error correcting output codes (ECOC) represent a successful extension of binary classifiers to address the multiclass problem. Lately, the ECOC framework was extended from the bina...
180
click to vote
EDOC
2004
IEEE
15 years 10 months ago
2004
IEEE
Availability of a wide variety of Web services over the Internet offers opportunities of providing new value added services built by composing them out of existing ones. Service c...
179
click to vote
ECOOP
2006
Springer
15 years 10 months ago
2006
Springer
Aspect-Oriented Programming (AOP) is a powerful technique to better modularize object-oriented programs by introducing crosscutting concerns in a safe and noninvasive way. Unfortu...
190
click to vote
ESWS
2006
Springer
15 years 10 months ago
2006
Springer
Knowledge representation formalisms used on the Semantic Web adhere to a strict open world assumption. Therefore, nonmonotonic reasoning techniques are often viewed with scepticism...
164
click to vote
CAV
2001
Springer
15 years 10 months ago
2001
Springer
In this paper we present the application of generalized retiming for temporal property checking. Retiming is a structural transformation that relocates registers in a circuit-based...