Sciweavers

1187 search results - page 104 / 238
» Computation in Extended Argumentation Frameworks
Sort
View
LPAR
2010
Springer
14 years 11 months ago
Semiring-Induced Propositional Logic: Definition and Basic Algorithms
In this paper we introduce an extension of propositional logic that allows clauses to be weighted with values from a generic semiring. The main interest of this extension is that ...
Javier Larrosa, Albert Oliveras, Enric Rodrí...
ATAL
2007
Springer
15 years 5 months ago
Interactive dynamic influence diagrams
This paper extends the framework of dynamic influence diagrams (DIDs) to the multi-agent setting. DIDs are computational representations of the Partially Observable Markov Decisio...
Kyle Polich, Piotr J. Gmytrasiewicz
DASC
2006
IEEE
15 years 3 months ago
Autonomic Sensor Networks: A New Paradigm for Collaborative Information Processing
Wireless Sensor Networks (WSNs) are severely constrained in computation and communication capabilities due to the cost and size of available sensors. On the other hand, autonomic ...
Hui Kang, Xiaolin Li, Patrick J. Moran
ACL
2010
14 years 11 months ago
Modeling Norms of Turn-Taking in Multi-Party Conversation
Substantial research effort has been invested in recent decades into the computational study and automatic processing of multi-party conversation. While most aspects of conversati...
Kornel Laskowski
ISSAC
2009
Springer
120views Mathematics» more  ISSAC 2009»
15 years 8 months ago
A non-holonomic systems approach to special function identities
We extend Zeilberger’s approach to special function identities to cases that are not holonomic. The method of creative telescoping is thus applied to definite sums or integrals...
Frédéric Chyzak, Manuel Kauers, Brun...