DISOPT
2007
13 years 4 months ago
2007
Constraint-based schedulers have been widely successful to tackle complex, disjunctive and cumulative, scheduling applications by combining tree search and constraint propagation....
CORR
2007
Springer
13 years 4 months ago
2007
Springer
– This paper deals with enriched qualitative belief functions for reasoning under uncertainty and for combining information expressed in natural language through linguistic label...
CORR
2007
Springer
13 years 4 months ago
2007
Springer
Data analysis applications typically aggregate data across many dimensions looking for anomalies or unusual patterns. The SQL aggregate functions and the GROUP BY operator produce ...
ENTCS
2006
13 years 4 months ago
2006
The three classical process algebras CCS, CSP and ACP present several differences in their respective technical machinery. This is due, not only to the difference in their operato...
IJAR
2008
13 years 4 months ago
2008
There is a well-recognised need in diverse applications for reasoning with multiple, potentially inconsistent sources of information. One approach is to represent each source of i...
COMBINATORICS
2006
13 years 4 months ago
2006
A differential poset is a partially ordered set with raising and lowering operators U and D which satisfy the commutation relation DU-UD = rI for some constant r. This notion may ...
AMAI
2006
Springer
13 years 4 months ago
2006
Springer
In this paper, we propose an adaptive approach to merging possibilistic knowledge bases that deploys multiple operators instead of a single operator in the merging process. The me...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
Dynamic spectrum leasing can greatly enhance the spectrum efficiency and encourage more flexible services in the spectrum market. This paper presents a detailed analytical study of...
CAGD
2010
13 years 4 months ago
2010
Abstract. In this paper we introduce an unified framework for topological manipulation on triangulated 2manifolds with or without boundary. We show that there are two kinds of prim...
AI
2007
Springer
13 years 4 months ago
2007
Springer
The AGM postulates for belief revision, augmented by the DP postulates for iterated belief revision, provide generally accepted criteria for the design of operators by which intel...