5456 search results - page 419 / 1092 » General Equilibrium Theory |
168
click to vote
VALUETOOLS
2006
ACM
16 years 24 days ago
2006
ACM
We present the software tool “Web Graph Analyzer”. This tool is designed to perform a comprehensive analysis of the Web Graph structure. By Web Graph we mean a graph whose ver...
177
click to vote
GLVLSI
2005
IEEE
16 years 14 days ago
2005
IEEE
In this paper we develop a theory of equivalence checking (EC) and logic synthesis of circuits with a common specification (CS). We show that two combinational circuits N1, N2 have...
185
click to vote
ISIPTA
2005
IEEE
16 years 13 days ago
2005
IEEE
: A generalization of subjective expected utility is presented in which the primitives are a finite set of states of the world, a finite set of strategies available to the decision...
209
click to vote
TPHOL
2005
IEEE
16 years 13 days ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
158
click to vote
ACMACE
2005
ACM
16 years 12 days ago
2005
ACM
This paper proposes “intuitive cinema” – a new form of interactive storytelling, which emphasizes user motive and viewpoints, and implements its cinematic expressions based ...