Sciweavers

267 search results - page 39 / 54
» his 2008
Sort
View
TCS
2002
13 years 9 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
SIGOPS
2010
132views more  SIGOPS 2010»
13 years 8 months 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
SYNTHESE
2010
65views more  SYNTHESE 2010»
13 years 8 months 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
SYNTHESE
2010
59views more  SYNTHESE 2010»
13 years 8 months 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
CVPR
2008
IEEE
14 years 11 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...