3134 search results - page 316 / 627 » Computing full disjunctions |
144
click to vote
SDMW
2010
Springer
15 years 1 months ago
2010
Springer
In an outsourced database framework, clients place data management with specialized service providers. Of essential concern in such frameworks is data privacy. Potential clients ar...
136
click to vote
TCS
2010
15 years 1 months ago
2010
The paper contains the first complete proof of strong normalization (SN) for full second order linear logic (LL): Girard’s original proof uses a standardization theorem which i...
132
click to vote
TISSEC
2010
15 years 1 months ago
2010
Privacy has been acknowledged to be a critical requirement for many business (and non-business) environments. Therefore, the definition of an expressive and easy-to-use privacyre...
135
click to vote
WCNC
2010
IEEE
15 years 1 months ago
2010
IEEE
—Time based localisation methods like GPS are widely used for outdoor navigation, whereas indoor navigation is typically performed only on a cell-basis or based on the Received S...
110
click to vote
EGH
2010
Springer
15 years 1 months ago
2010
Springer
A ray cast algorithm utilizing a hierarchical acceleration structure needs to perform a tree traversal in the hierarchy. In its basic form, executing the traversal requires a stac...