4047 search results - page 139 / 810 » Some Properties and Some Problems on Set Functors |
170
click to vote
AAAI
2008
15 years 9 months ago
2008
In this paper, we propose a new approach for iterated revision in possibilistic logic by applying a one-step revision operator. We first argue that the set of KM postulates for re...
199
click to vote
AAAI
2006
15 years 8 months ago
2006
Two of the most efficient planners for planning in nondeterministic domains are MBP and ND-SHOP2. MBP achieves its efficiency by using Binary Decision Diagrams (BDDs) to represent...
159
click to vote
MFCS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. XML documents are described by a document type definition (DTD). An XML-grammar is a formal grammar that captures the syntactic features of a DTD. We investigate properti...
200
click to vote
IJAR
2008
15 years 6 months ago
2008
We address in this paper the problem of defining belief functions, typically for multi-source classification applications in image processing. We propose to use mathematical morph...
170
click to vote
APN
2005
Springer
16 years 13 days ago
2005
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models allowing more...