Sciweavers

100 search results - page 10 / 20
» Synthesizing View Definitions from Data
Sort
View
SIGMOD
2004
ACM
198views Database» more  SIGMOD 2004»
14 years 7 months ago
Secure XML Querying with Security Views
The prevalent use of XML highlights the need for a generic, flexible access-control mechanism for XML documents that supports efficient and secure query access, without revealing ...
Wenfei Fan, Chee Yong Chan, Minos N. Garofalakis
SYNTHESE
2010
87views more  SYNTHESE 2010»
13 years 5 months ago
Proofs, pictures, and Euclid
Though pictures are often used to present mathematical arguments, they are not typically thought to be an acceptable means for presenting mathematical arguments rigorously. With re...
John Mumma
PLDI
2010
ACM
14 years 4 months ago
Complete Functional Synthesis
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algor...
Viktor Kuncak, Mika l Mayer, Ruzica Piskac, Philip...
CVPR
2003
IEEE
14 years 20 days ago
Dynamic Depth Recovery from Unsynchronized Video Streams
In this paper, we propose an algorithm for estimating dense depth information of dynamic scenes from multiple video streams captured using unsynchronized stationary cameras. We so...
Chunxiao Zhou, Hai Tao
BILDMED
2008
168views Algorithms» more  BILDMED 2008»
13 years 8 months ago
Freehand 3-D Sonographic Measurement of the Superficial Femoral Artery
Visualization of vessels for diagnostics and intervention are usually done under fluoroscopic X-ray view using intravenous contrast agents, which has potential risks. To avoid this...
Dennis Sandkühler, Christian Sobotta, Matthia...