Sciweavers

651 search results - page 24 / 131
» Decisions in thesaurus construction and use
Sort
View
BIRTHDAY
2010
Springer
14 years 9 months ago
Strict Canonical Constructive Systems
We define the notions of a canonical inference rule and a canonical constructive system in the framework of strict single-conclusion Gentzen-type systems (or, equivalently, natural...
Arnon Avron, Ori Lahav
ISAAC
1993
Springer
149views Algorithms» more  ISAAC 1993»
15 years 3 months ago
The Complexity of the Optimal Variable Ordering Problems of Shared Binary Decision Diagrams
A binary decision diagram (BDD) is a directed acyclic graph for representing a Boolean function. BDD’s are widely used in various areas which require Boolean function manipulatio...
Seiichiro Tani, Kiyoharu Hamaguchi, Shuzo Yajima
FLAIRS
2001
15 years 1 months ago
Practical Modeling of Bayesian Decision Problems -- Exploiting Deterministic Relations
Thewidespreaduse of influence diagramsto represent andsolve Bayesiandecision problemsis still limited by the inflexibility andrather restrictive semanticsof influence diagrams. In...
Anders L. Madsen, Kristian G. Olesen, Søren...
COMMA
2008
15 years 1 months ago
Basic influence diagrams and the liberal stable semantics
Abstract. This paper is concerned with the general problem of constructing decision tables and more specifically, with the identification of all possible outcomes of decisions. We ...
Paul-Amaury Matt, Francesca Toni
VR
2003
IEEE
141views Virtual Reality» more  VR 2003»
15 years 5 months ago
Construction of a Three-sided Immersive Telecollaboration System
The so-called “blue-c” is a novel three sided immersive projection system, which has been especially designed to support telecollaborative teamwork [4]. Therefore, special pro...
Christian P. Spagno, Andreas M. Kunz