5456 search results - page 727 / 1092 » General Equilibrium Theory |
184
click to vote
PPDP
2007
Springer
16 years 26 days ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
192
click to vote
PPDP
2007
Springer
16 years 26 days ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...
199
click to vote
RSKT
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. A fundamental data modeling problem in geographical information systems and spatial database systems refers to an appropriate treatment of the vagueness or indeterminacy ...
165
click to vote
STACS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. The perfect matching problem is known to be in ¶, in randomized NC, and it is hard for NL. Whether the perfect matching problem is in NC is one of the most prominent ope...
169
click to vote
WDAG
2007
Springer
16 years 26 days ago
2007
Springer
We consider the problem of minimizing the number of ADMs in optical networks. All previous theoretical studies of this problem dealt with the off-line case, where all the lightpat...