777 search results - page 27 / 156 » presence 2010 |
110
click to vote
ICDE
2010
IEEE
15 years 7 months ago
2010
IEEE
— We present a tool for the static analysis of XPath queries and XML Schemas. The tool introduces techniques used in the field of verification (such as binary decision diagrams...
90
Voted
ICPR
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract—The classification of sequences requires the combination of information from different time points. In this paper the detection of facial expressions is considered. Exp...
121
click to vote
ICDE
2010
IEEE
15 years 5 months ago
2010
IEEE
— Finding decompositions of a graph into a family of clusters is crucial to understanding its underlying structure. While most existing approaches focus on partitioning the nodes...
108
Voted
KR
2010
Springer
15 years 5 months ago
2010
Springer
Topological logics are a family of languages for representing and reasoning about topological data. In this paper, we consider propositional topological logics able to express the...
119
Voted
CRYPTO
2010
Springer
15 years 1 months ago
2010
Springer
The main results of this work are new public-key encryption schemes that, under the quadratic residuosity (QR) assumption (or Paillier's decisional composite residuosity (DCR...