Sciweavers

1232 search results - page 5 / 247
» Digraphs: theory, algorithms and applications
Sort
View
AAI
2011
195views Algorithms» more  AAI 2011»
13 years 2 months ago
A Recursive BDI Agent Model for Theory of Mind and its Applications
Tibor Bosse, Zulfiqar A. Memon, Jan Treur
DAC
2004
ACM
13 years 11 months ago
Implicit pseudo boolean enumeration algorithms for input vector control
In a CMOS combinational logic circuit, the subthreshold leakage current in the standby state depends on the state of the inputs. In this paper we present a new approach to identif...
Kaviraj Chopra, Sarma B. K. Vrudhula
ISAAC
2007
Springer
89views Algorithms» more  ISAAC 2007»
14 years 1 months ago
Unifying Two Graph Decompositions with Modular Decomposition
We introduces the umodules, a generalization of the notion of graph module. The theory we develop captures among others undirected graphs, tournaments, digraphs, and 2−structures...
Binh-Minh Bui-Xuan, Michel Habib, Vincent Limouzy,...
IFIPTCS
2000
13 years 11 months ago
List Decoding: Algorithms and Applications
Over the years coding theory and complexity theory have benefited from a number of mutually enriching connections. This article focuses on a new connection that has emerged betwee...
Madhu Sudan
ENGL
2007
94views more  ENGL 2007»
13 years 7 months ago
Common subproofs in proof pairs
Abstract—In any formal theory, a proof is a sequence of well formed formulas (wff). Here, we consider the digraph whose nodes are proofs and the edges are pairs of proofs such t...
Guillermo Morales-Luna