Sciweavers

267 search results - page 39 / 54
» his 2008
Sort
View
79
Voted
TCS
2002
15 years 1 months ago
Set-sharing is redundant for pair-sharing
Although the usual goal of sharing analysis is to detect which pairs of variables share, the standard choice for sharing analysis is a domain that characterizes set-sharing. In th...
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
91
Voted
SIGOPS
2010
132views more  SIGOPS 2010»
15 years 7 days ago
A case for the accountable cloud
For many companies, clouds are becoming an interesting alternative to a dedicated IT infrastructure. However, cloud computing also carries certain risks for both the customer and ...
Andreas Haeberlen
58
Voted
SYNTHESE
2010
65views more  SYNTHESE 2010»
15 years 7 days ago
Williamson's Woes
This is a reply to Timothy Williamson’s paper ‘Tennant’s Troubles’. It defends against Williamson’s objections the anti-realist’s knowability principle based on the au...
Neil Tennant
73
Voted
SYNTHESE
2010
59views more  SYNTHESE 2010»
15 years 7 days ago
Frege's Begriffsschrift as a lingua characteristica
In this paper I suggest an answer to the question of what Frege means when he says that his logical system, the Begriffsschrift, is like the language Leibniz sketched, a lingua ch...
Tapio Korte
115
Voted
CVPR
2008
IEEE
16 years 3 months ago
Manifold learning using robust Graph Laplacian for interactive image search
Interactive image search or relevance feedback is the process which helps a user refining his query and finding difficult target categories. This consists in partially labeling a ...
Hichem Sahbi, Patrick Etyngier, Jean-Yves Audibert...