578 search results - page 57 / 116 » A Logic Programming Based Approach to QA@CLEF05 Track |
156
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...
152
click to vote
EWDW
1990
15 years 8 months ago
1990
The formal description of the semantics of object-oriented data models is still an open problem. Some characteristic features of object-oriented data models, such as methods and i...
129
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...
129
click to vote
AAAI
2008
15 years 6 months ago
2008
The paper presents a calculus based on resolution for credulous reasoning in Answer Set Programming. The new approach allows a top-down and goal directed resolution, in the same s...
159
click to vote
EUSFLAT
2009
15 years 2 months ago
2009
In this paper, line search based on Sequential Quadratic Programming is implemented in order to find a solution to Fuzzy Relation Equations. Sequential Quadratic Programming is a g...