7167 search results - page 332 / 1434 » Answer Set Programming |
115
click to vote
AGP
1998
IEEE
15 years 7 months ago
1998
IEEE
In this paper we investigate updates of knowledge bases represented by logic programs. In order to represent negative information, we use generalized logic programs which allow de...
109
click to vote
COMPSAC
2009
IEEE
15 years 9 months ago
2009
IEEE
—A software birthmark is an inherent characteristic of a program that can be used to identify that program. By comparing the birthmarks of two programs, it is possible to infer i...
149
click to vote
PLDI
2011
ACM
14 years 5 months ago
2011
ACM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...
128
click to vote
ECAL
2007
Springer
15 years 9 months ago
2007
Springer
The Bare Bones language is a programming language with a minimal set of operations that exhibits universal computation. We present a conceptual framework, Chemical Bare Bones, to c...
107
click to vote
CC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Network processors (NPs) typically contain multiple concurrent processing cores. State-of-the-art programming techniques for NPs are invariably low-level, requiring progr...