1664 search results - page 321 / 333 » Towards Partial Reasoning |
114
click to vote
WWW
2001
ACM
16 years 13 days ago
2001
ACM
This paper describes new technology based on on-line decision support for providing personalized customer treatments in web-based storefronts and information sites. The central im...
193
click to vote
PADL
2009
Springer
16 years 12 days ago
2009
Springer
Abstract. For practical applications, the use of top-down query-driven proofprocedures is essential for an efficient use and computation of answers using Logic Programs as knowledg...
214
click to vote
POPL
2006
ACM
16 years 2 days ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...
204
click to vote
POPL
2004
ACM
16 years 2 days ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
DCC
2007
IEEE
15 years 11 months ago
2007
IEEE
We consider video sequences that have been encrypted uncompressed. Since encryption masks the source, traditional data compression algorithms are rendered ineffective. However, it...