4209 search results - page 481 / 842 » Abstract Dialectical Frameworks |
137
click to vote
ITRUST
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. When we model and analyze trust in organizations or information systems we have to take into account two different levels of analysis: social and individual. Social leve...
133
Voted
LCPC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. With the fast development of multi-core processors, automatic parallelization becomes increasingly important. In this work, we focus on the parallelization of utility pro...
142
Voted
LPAR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
150
click to vote
LPNMR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Nested logic programs and epistemic logic programs are two important extensions of answer set programming. However, the relationship between these two formalisms is rarel...
190
Voted
MICCAI
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper presents a learning method to select best geometric features for deformable brain registration. Best geometric features are selected for each brain location, a...