Sciweavers

2253 search results - page 382 / 451
» The ComFoRT Reasoning Framework
Sort
View
ECSQARU
2007
Springer
14 years 2 months ago
Forward-Backward-Viterbi Procedures in the Transferable Belief Model for State Sequence Analysis Using Belief Functions
Abstract. The Transferable Belief Model (TBM) relies on belief functions and enables one to represent and combine a variety of knowledge from certain up to ignorance as well as con...
Emmanuel Ramasso, Michèle Rombaut, Denis Pe...
ICLP
2007
Springer
14 years 2 months ago
Declarative Diagnosis of Temporal Concurrent Constraint Programs
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
Moreno Falaschi, Carlos Olarte, Catuscia Palamides...
KSEM
2007
Springer
14 years 2 months ago
A Merging-Based Approach to Handling Inconsistency in Locally Prioritized Software Requirements
Abstract. It has been widely recognized that the relative priority of requirements can help developers to resolve inconsistencies and make some necessary trade-off decisions. Howe...
Kedian Mu, Weiru Liu, Zhi Jin, Ruqian Lu, Anbu Yue...
MFCS
2007
Springer
14 years 2 months ago
Evolvability
A framework for analyzing the computational capabilities and the limitations of the evolutionary process of random change guided by selection was recently introduced by Valiant [V...
Leslie G. Valiant
VLDB
2007
ACM
96views Database» more  VLDB 2007»
14 years 2 months ago
Privacy Skyline: Privacy with Multidimensional Adversarial Knowledge
Privacy is an important issue in data publishing. Many organizations distribute non-aggregate personal data for research, and they must take steps to ensure that an adversary cann...
Bee-Chung Chen, Raghu Ramakrishnan, Kristen LeFevr...