240 search results - page 20 / 48 » Incorporating Tables into Proofs |
176
click to vote
DIM
2005
ACM
15 years 8 months ago
2005
ACM
We develop solutions for the security and privacy of user identity information in a federation. By federation we mean a group of organizations or service providers which have buil...
156
click to vote
ICIP
2001
IEEE
16 years 7 months ago
2001
IEEE
A method for simultaneously estimating the high-resolution frames and the corresponding motion field from a compressed low-resolution video sequence is presented. The algorithm in...
262
click to vote
ICDE
2007
IEEE
16 years 7 months ago
2007
IEEE
Authorization in SQL is currently at the level of tables or columns. Many applications need a finer level of control. We propose a model for fine-grained authorization based on ad...
129
click to vote
CHI
2003
ACM
16 years 6 months ago
2003
ACM
The development of a low bandwidth, high error tolerant neural browser, called the BrainBrowser, has raised new navigational issues. With this paradigm shift of twodimensional spa...
150
click to vote
SCAM
2007
IEEE
16 years 10 days ago
2007
IEEE
Software quality assessment of large COBOL industrial legacy systems, both for maintenance or migration purposes, mounts a serious challenge. We present the Software Quality Asses...