Sciweavers

2239 search results - page 206 / 448
» Computing with abstract matrix structures
Sort
View
141
Voted
COMMA
2006
15 years 5 months ago
First Steps Towards the Automatic Construction of Argument-Diagrams from Real Discussions
Abstract. This paper presents our efforts to create argument structures from meeting transcripts automatically. We show that unit labels of argument diagrams can be learnt and pred...
Daan Verbree, Rutger Rienks, Dirk Heylen
117
Voted
IJAR
2011
88views more  IJAR 2011»
14 years 10 months ago
A framework for reasoning under uncertainty based on non-deterministic distance semantics
Abstract. In this paper, we introduce a general and modular framework for formalizing reasoning with incomplete and inconsistent information. Our framework is composed of non-deter...
Ofer Arieli, Anna Zamansky
127
Voted
CAV
1993
Springer
127views Hardware» more  CAV 1993»
15 years 7 months ago
Symbolic Equivalence Checking
Abstract. We describe the implementation, within ALDEBARAN of an algorithmic method allowing the generation of a minimal labeled transition rom an abstract model ; this minimality ...
Jean-Claude Fernandez, Alain Kerbrat, Laurent Moun...
164
Voted
SAB
2010
Springer
189views Optimization» more  SAB 2010»
15 years 1 months ago
TeXDYNA: Hierarchical Reinforcement Learning in Factored MDPs
Reinforcement learning is one of the main adaptive mechanisms that is both well documented in animal behaviour and giving rise to computational studies in animats and robots. In th...
Olga Kozlova, Olivier Sigaud, Christophe Meyer
128
Voted
IPPS
2002
IEEE
15 years 8 months ago
Overview of Hydra: A Concurrent Language for Synchronous Digital Circuit Design
Hydra is a computer hardware description language that integrates several kinds of software tool (simulation, netlist generation and timing analysis) within a single circuit speci...
John O'Donnell