382 search results - page 52 / 77 » Complexity and Expressive Power of Logic Programming |
245
Voted
POPL
2003
ACM
16 years 3 months ago
2003
ACM
We present a new polynomial-time randomized algorithm for discovering affine equalities involving variables in a program. The key idea of the algorithm is to execute a code fragme...
131
Voted
PEPM
2009
ACM
15 years 7 months ago
2009
ACM
A requirement of any source language is to be rich in features and concise to use by the programmers. As a drawback, it is often too complex to analyse, causing research studies t...
122
Voted
EGC
2005
Springer
15 years 8 months ago
2005
Springer
We are concerned with the following problem: How do we allow a community of users to access and process diverse data stored in many different formats? Standard data formats and da...
125
Voted
SEMCO
2007
IEEE
15 years 9 months ago
2007
IEEE
Many recent advances in complex domains such as Natural Language Processing (NLP) have taken a discriminative approach in conjunction with the global application of structural and...
139
Voted
CCS
2011
ACM
14 years 2 months ago
2011
ACM
We present the design, implementation and evaluation of an algorithm that checks audit logs for compliance with privacy and security policies. The algorithm, which we name reduce,...