Sciweavers

113 search results - page 17 / 23
» A new Approach for Solving Satisfiability Problems with Qual...
Sort
View
IJAR
2007
90views more  IJAR 2007»
13 years 7 months ago
An argumentation framework for merging conflicting knowledge bases
The problem of merging multiple sources of information is central in many information processing areas such as databases integrating problems, multiple criteria decision making, e...
Leila Amgoud, Souhila Kaci
AB
2007
Springer
13 years 11 months ago
Efficient Haplotype Inference with Pseudo-boolean Optimization
Abstract. Haplotype inference from genotype data is a key computational problem in bioinformatics, since retrieving directly haplotype information from DNA samples is not feasible ...
Ana Graça, João Marques-Silva, In&ec...
SIGMOD
1998
ACM
89views Database» more  SIGMOD 1998»
13 years 12 months ago
Secure and Portable Database Extensibility
The functionality of extensible database servers can be augmented by user-de ned functions UDFs. However, the server's security and stability are concerns whenever new code...
Michael W. Godfrey, Tobias Mayr, Praveen Seshadri,...
CGF
2000
97views more  CGF 2000»
13 years 7 months ago
Motion Balance Filtering
This paper presents a new technique called motion balance filtering, which corrects an unbalanced motion to a balanced one while preserving the original motion characteristics as ...
Seyoon Tak, Oh-Young Song, Hyeong-Seok Ko
ECAI
1998
Springer
13 years 12 months ago
Optimal Scheduling of Dynamic Progressive Processing
Progressive processing allows a system to satisfy a set of requests under time pressure by limiting the amount of processing allocated to each task based on a predefined hierarchic...
Abdel-Illah Mouaddib, Shlomo Zilberstein