9626 search results - page 403 / 1926 » Invariant Based Programming |
212
click to vote
ASP
2005
Springer
16 years 9 days ago
2005
Springer
This paper outlines a novel approach to the computation of answer sets in an evolving and interactive environment. Instead of recomputing the semantics of the entire program, our a...
185
click to vote
AWIC
2005
Springer
16 years 9 days ago
2005
Springer
This paper presents an approach for applying inductive logic programming to information extraction from HTML documents structured as unranked ordered trees. We consider information...
126
click to vote
ASPDAC
2004
ACM
16 years 5 days ago
2004
ACM
Abstract- Processing streaming media comprisesseveral program phases (often distinct) that are periodic and independent of application data. In this paper we characterize execution...
189
click to vote
WLP
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. In this paper we apply answer set programming to solve alternating Boolean equation systems. We develop a novel characterization of solutions for variables in disjunctive...
167
click to vote
CSMR
2003
IEEE
16 years 1 days ago
2003
IEEE
In this paper we present a new instrumentation approach to reverse engineer a given software application. Our approach is based on aspect-oriented programming and provides support...