1024 search results - page 95 / 205 » Value complete, column complete, predicate complete |
CADE
2006
Springer
16 years 2 months ago
2006
Springer
We introduce a dynamic logic that is enriched by non-rigid functions, i.e., functions that may change their value from state to state (during program execution), and we present a (...
207
click to vote
SIGMOD
2006
ACM
16 years 1 months ago
2006
ACM
We present and analyze an algorithm for equivalent rewriting of XQuery queries using XQuery views, which is complete for a large class of XQueries featuring nested FLWR blocks, XM...
ICASSP
2009
IEEE
15 years 8 months ago
2009
IEEE
The joint invariants of the projective group PSL(3, R) on RP2 , the five-point volume cross-ratios, are studied to address the problem of correspondence in a camera network. The ...
107
click to vote
WMCSA
2009
IEEE
15 years 8 months ago
2009
IEEE
There is an inherent tension between the value provided by Location-Based Services (LBSs) and the location-privacy concerns they raise. Unfortunately, users are often forced to ei...
117
click to vote
WINE
2009
Springer
15 years 8 months ago
2009
Springer
A well-known result due to Vickery gives a mechanism for selling a number of goods to interested buyers in a way that achieves the maximum social welfare. In practice, a problem wi...