5456 search results - page 728 / 1092 » General Equilibrium Theory |
182
click to vote
FOCS
2006
IEEE
16 years 24 days ago
2006
IEEE
Given an undirected hypergraph and a subset of vertices S ⊆ V with a specified root vertex r ∈ S, the STEINER ROOTED-ORIENTATION problem is to find an orientation of all the...
188
click to vote
ICMCS
2006
IEEE
16 years 24 days ago
2006
IEEE
Distance metric is widely used in similarity estimation. In this paper we find that the most popular Euclidean and Manhattan distance may not be suitable for all data distribution...
172
click to vote
ICNP
2006
IEEE
16 years 24 days ago
2006
IEEE
— Some commonly used inter-domain-routing policies—e.g., those using BGP’s MED attribute for cold-potato routing—are beyond the scope of routing theory developed to date. T...
153
click to vote
SP
2006
IEEE
16 years 23 days ago
2006
IEEE
Hidden services were deployed on the Tor anonymous communication network in 2004. Announced properties include server resistance to distributed DoS. Both the EFF and Reporters Wit...
181
click to vote
ACL2
2006
ACM
16 years 22 days ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...