77 search results - page 16 / 16 » Testing Basic Boolean Formulae |
ICDT
2010
ACM
14 years 2 months ago
2010
ACM
The work reported here lays the foundations of data exchange in the presence of probabilistic data. This requires rethinking the very basic concepts of traditional data exchange, ...
SIGCSE
2002
ACM
13 years 4 months ago
2002
ACM
This paper describes a tutorial program that serves a double role as an educational tool and a research environment. First, it introduces students to fundamental concepts of propo...