5378 search results - page 786 / 1076 » Base Logics in Argumentation |
165
Voted
SIGMOD
2008
ACM
16 years 28 days ago
2008
ACM
The emergence of database languages with side effects, notably for XML, raises significant challenges for database compilers and optimizers. In this paper, we extend an algebra fo...
134
Voted
PODS
2004
ACM
16 years 27 days ago
2004
ACM
The Semantic Web is based on the idea of adding more machine-readable semantics to web information via annotations written in a language called the Resource Description Framework ...
83
Voted
EDBT
2004
ACM
16 years 27 days ago
2004
ACM
T-Araneus is a tool for the generation of Web sites with special attention to temporal aspects. It builds on previous experiences in the management of data-intensive Web-sites, an...
LATA
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. In property testing, the goal is to distinguish between structures that have some desired property and those that are far from having the property, after examining only a...
96
Voted
ICCAD
2006
IEEE
15 years 9 months ago
2006
IEEE
The paper explores several ways to improve the speed and capacity of combinational equivalence checking based on Boolean satisfiability (SAT). State-of-the-art methods use simulat...