2015 search results - page 295 / 403 » Some Observations on Indifferentiability |
172
click to vote
ESORICS
2006
Springer
15 years 9 months ago
2006
Springer
Data confidentiality is a major concern in database systems. Encryption is a useful tool for protecting the confidentiality of sensitive data. However, when data is encrypted, perf...
183
click to vote
EWCBR
2006
Springer
15 years 9 months ago
2006
Springer
Feature selection algorithms can reduce the high dimensionality of textual cases and increase case-based task performance. However, conventional algorithms (e.g., information gain)...
126
click to vote
FSTTCS
2006
Springer
15 years 9 months ago
2006
Springer
We observe that pushdown tree automata (PTAs) known in the literature cannot express combinations of branching and pushdown properties. This is because a PTA processes the children...
141
click to vote
CHARME
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. I develop a compositional theory of refinement for the branching time framework based on stuttering simulation and prove that if one system refines another, then a refine...
196
click to vote
HUMO
2000
Springer
15 years 9 months ago
2000
Springer
Hand motion capturing is one of the most important parts of gesture interfaces. Many current approaches to this task generally involve a formidable nonlinear optimization problem ...