439 search results - page 22 / 88 » Tabling for transaction logic |
ASAP
2005
IEEE
15 years 5 months ago
2005
IEEE
On public communication networks such as the Internet, data confidentiality can be provided by symmetric-key ciphers. One of the most common operations used in symmetric-key ciphe...
PAMI
2006
14 years 11 months ago
2006
In documents, tables are important structured objects that present statistical and relational information. In this paper, we present a robust system which is capable of detecting t...
FCSC
2008
14 years 12 months ago
2008
With the development of World Wide Web (WWW), storage and utilization of web data has become a big challenge for data management research community. Web data are essentially hetero...
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
With the continuous advances in optical communications technology, the link transmission speed of Internet backbone has been increasing rapidly. This in turn demands more powerful...
109
click to vote
CAV
1997
Springer
15 years 3 months ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...