Sciweavers

3625 search results - page 44 / 725
» On choosing
Sort
View
IPL
2000
96views more  IPL 2000»
14 years 11 months ago
On bounded occurrence constraint satisfaction
An approximation algorithm for a constraint satisfaction problem is said to be nontrivial if its performance ratio is strictly superior to the expected performance of the algorith...
Johan Håstad
JSYML
2000
85views more  JSYML 2000»
14 years 11 months ago
The Logic of Choice
The choice construct (choose x : '(x)) is useful in software speci cations. We study extensions of rst-order logic with the choice construct. We prove some results about Hilb...
Andreas Blass, Yuri Gurevich
CN
1999
74views more  CN 1999»
14 years 11 months ago
On the network impact of dynamic server selection
Widespread replication of information can ameliorate the problem of server overloading but raises the allied question of server selection. Clients may be assigned to a replica in ...
Robert L. Carter, Mark Crovella
SIGMOD
2008
ACM
119views Database» more  SIGMOD 2008»
14 years 11 months ago
500 special relationships: Jim as a mentor to faculty and students
There are hundreds of us in academia and industry who consider ourselves FoJ: Friends of Jim. Jim invested so deeply and so uniquely in every one of us that we each felt we must b...
Edward D. Lazowska
COLOGNETWENTE
2010
14 years 10 months ago
Approximating Independent Set in Semi-Random Graphs
We present an algorithm for the independent set problem on semi-random graphs, which are generated as follows: An adversary chooses an n-vertex graph, and then each edge is flipp...
Bodo Manthey, Kai Plociennik