5456 search results - page 346 / 1092 » General Equilibrium Theory |
147
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
We develop a tableau-based decision procedure for the full coalitional multiagent temporal-epistemic logic of linear time CMATEL(CD+LT). It extends LTL with operators of common an...
138
click to vote
LOCWEB
2009
ACM
16 years 1 months ago
2009
ACM
Microsoft has proposed an identity metasystem to standardize identity services and the principles behind them. A location metasystem can support interoperation between location se...
162
click to vote
SIGCOMM
2009
ACM
16 years 1 months ago
2009
ACM
We describe a new model for studying intermittently connected mobile networks, based on Markovian random temporal graphs, that captures the influence of message size, maximum tol...
171
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this note, an algebraic approach for state estimation of linear time-varying (LTV) systems is introduced. This approach is based on the following mathematical tools: Laplace...
190
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— We present a family of metrics for power spectra based on the Monge-Kantorivic transportation distances. These metrics are constructed so that distances reduce with additive an...