800 search results - page 88 / 160 » Towards a formalization of budgets |
IGPL
1998
14 years 10 months ago
1998
Is it possible to compute in which logics a given formula is deducible? The aim of this paper is to provide a formal basis to answer positively this question in the context of sub...
78
Voted
SIGKDD
2002
14 years 10 months ago
2002
The primary aim of most data mining algorithms is to facilitate the discovery of concise and interpretable information from large amounts of data. However, many of the current for...
PSD
2010
Springer
14 years 9 months ago
2010
Springer
We introduce the novel concept of coprivacy or co-operative privacy to make privacy preservation attractive. A protocol is coprivate if the best option for a player to preserve her...
127
Voted
BMVC
2010
14 years 6 months ago
2010
Specular flow is an important class of optical flow whose utility in visual tasks has gained much interest in contemporary vision research. Unfortunately, however, reliably estima...
101
Voted
PERCOM
2011
ACM
14 years 2 months ago
2011
ACM
Abstract—With the abundance and ubiquity of mobile devices, a new class of applications is emerging, called participatory sensing (PS), where people can contribute data (e.g., im...