Sciweavers

5122 search results - page 290 / 1025
» Comparing Consequence Relations
Sort
View
160
Voted
ICCS
2005
Springer
15 years 10 months ago
Analyzing Conflicts with Concept-Based Learning
A machine learning technique for handling scenarios of interaction between conflicting agents is suggested. Scenarios are represented by directed graphs with labeled vertices (for ...
Boris Galitsky, Sergei O. Kuznetsov, Mikhail V. Sa...
ICALP
2010
Springer
15 years 10 months ago
Pumping and Counting on the Regular Post Embedding Problem
Abstract. The Regular Post Embedding Problem is a variant of Post’s Correspondence Problem where one compares strings with the subword relation and imposes additional regular con...
Pierre Chambart, Philippe Schnoebelen
ORL
2010
112views more  ORL 2010»
14 years 12 months ago
Beneficial changes in dependence structures and two-moment decision models
: We analyze the comparative static effects of beneficial changes in the dependence structure between risks. In an insurance model with an insurable loss and dependent background w...
Thomas Eichner, Andreas Wagener
GLVLSI
2009
IEEE
125views VLSI» more  GLVLSI 2009»
15 years 12 months ago
Timing-driven N-way decomposition
Logic decomposition has been extensively used to optimize the worst-case delay and the area in the technology independent phase. Bi-decomposition is one of the state-of-art techni...
David Bañeres, Jordi Cortadella, Michael Ki...
ECSQARU
2009
Springer
15 years 11 months ago
Complexity and Cautiousness Results for Reasoning from Partially Preordered Belief Bases
Partially preordered belief bases are very convenient for an efficient representation of incomplete knowledge. They offer flexibility and avoid to compare unrelated pieces of inf...
Salem Benferhat, Safa Yahi