17920 search results - page 199 / 3584 » Recentering computer science |
130
click to vote
CSE
2009
IEEE
15 years 6 months ago
2009
IEEE
Recent years have witnessed an increasing trend of enterprises outsource their IT services to third parties. A major concern in database outsourcing paradigm is integrity verificat...
148
click to vote
DAM
2008
15 years 5 months ago
2008
The paper studies crown reductions for the Minimum Weighted Vertex Cover problem introduced recently in the unweighted case by Fellows et al. [Blow-Ups, Win/Win's and crown r...
118
click to vote
FOCS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— Applications in complex systems such as the Internet have spawned recent interest in studying situations involving multiple agents with their individual cost or utility...
128
Voted
MFCS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We recently introduced an extensional model of the pure λcalculus living in a cartesian closed category of sets and relations. In this paper, we provide sufficient condi...
127
click to vote
RTA
2007
Springer
15 years 11 months ago
2007
Springer
The use of automata techniques to prove the termination of string rewrite systems and left-linear term rewrite systems is advocated by Geser et al. in a recent sequence of papers. ...