5634 search results - page 349 / 1127 » About Abstract Classes |
133
click to vote
LICS
2008
IEEE
16 years 18 days ago
2008
IEEE
The question of whether there is a logic that captures polynomial time is the central open problem in descriptive complexity theory. In my talk, I will review the question and the...
123
click to vote
SP
2008
IEEE
16 years 17 days ago
2008
IEEE
We present a new class of statistical deanonymization attacks against high-dimensional micro-data, such as individual preferences, recommendations, transaction records and so on. ...
183
click to vote
TPHOL
2008
IEEE
16 years 17 days ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
188
click to vote
ADC
2008
Springer
16 years 17 days ago
2008
Springer
As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the ...
133
click to vote
DASFAA
2007
IEEE
16 years 16 days ago
2007
IEEE
Making multi-terabyte scientific databases publicly accessible over the Internet is increasingly important in disciplines such as Biology and Astronomy. However, contention at a c...