Sciweavers

4280 search results - page 358 / 856
» Mechanisms for information elicitation
Sort
View
ALDT
2009
Springer
172views Algorithms» more  ALDT 2009»
16 years 1 months ago
Extending Argumentation to Make Good Decisions
Abstract. Argumentation has been acknowledged as a powerful mechanism for automated decision making. In this context several recent works have studied the problem of accommodating ...
Yannis Dimopoulos, Pavlos Moraitis, Leila Amgoud
WAIM
2009
Springer
16 years 1 months ago
An Approach to Detect Collaborative Conflicts for Ontology Development
Ontology has been widely adopted as the basis of knowledge sharing and knowledge-based public services. However, ontology construction is a big challenge, especially in collaborati...
Yewang Chen, Xin Peng, Wenyun Zhao
ICTIR
2009
Springer
16 years 1 months ago
A Four-Factor User Interaction Model for Content-Based Image Retrieval
In order to bridge the “Semantic gap”, a number of relevance feedback (RF) mechanisms have been applied to content-based image retrieval (CBIR). However current RF techniques i...
Haiming Liu 0002, Victoria S. Uren, Dawei Song, St...
IWSM
2009
Springer
16 years 1 months ago
Cockpit Based Management Architectures
The following article covers the different types of software cockpit applications for use in various areas, such as software development, software maintenance as well as quality ma...
Robert Neumann, Fritz Zbrog, Reiner R. Dumke
232
Voted
MKM
2009
Springer
16 years 1 months ago
Combining Coq and Gappa for Certifying Floating-Point Programs
Abstract. Formal verification of numerical programs is notoriously difficult. On the one hand, there exist automatic tools specialized in floatingpoint arithmetic, such as Gappa...
Sylvie Boldo, Jean-Christophe Filliâtre, Gui...