Sciweavers

1024 search results - page 95 / 205
» Value complete, column complete, predicate complete
Sort
View
CADE
2006
Springer
16 years 4 months ago
Dynamic Logic with Non-rigid Functions
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 (...
Bernhard Beckert, André Platzer
SIGMOD
2006
ACM
121views Database» more  SIGMOD 2006»
16 years 4 months ago
Rewriting nested XML queries using nested views
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...
Nicola Onose, Alin Deutsch, Yannis Papakonstantino...
ICASSP
2009
IEEE
15 years 11 months ago
Estimating correspondence between multiple cameras using joint invariants
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 ...
Raman Arora, Yu Hen Hu, Charles Dyer
WMCSA
2009
IEEE
15 years 11 months ago
We saw each other on the subway: secure, anonymous proximity-based missed connections
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...
Justin Manweiler, Ryan Scudellari, Zachary Cancio,...
WINE
2009
Springer
194views Economy» more  WINE 2009»
15 years 11 months ago
Mechanism Design for Complexity-Constrained Bidders
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...
Ravi Kumar, Mohammad Mahdian, Amin Sayedi