1187 search results - page 102 / 238 » Computation in Extended Argumentation Frameworks |
158
click to vote
IFIP
2009
Springer
14 years 11 months ago
2009
Springer
Security protocols are crucial to achieve trusted computing. However, designing security protocols is not easy and so security protocols are typically faulty and have to be repaire...
150
click to vote
ICLP
2005
Springer
15 years 7 months ago
2005
Springer
1 In [20], a new Hybrid Probabilistic Logic Programs framework is proposed, and a new semantics is developed to enable encoding and reasoning about real-world applications. In this...
123
click to vote
EDO
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. This paper presents a framework that lets a component developer provide a component user with different kinds of information, depending on the specific context and needs....
117
Voted
BMVC
2010
14 years 11 months ago
2010
We introduce a novel bilinear boosting algorithm, which extends the multi-class boosting framework of JointBoost to optimize a bilinear objective function. This allows style param...
MLG
2007
Springer
15 years 7 months ago
2007
Springer
We give a universal kernel that renders all the regular languages linearly separable. We are not able to compute this kernel efficiently and conjecture that it is intractable, but...