3342 search results - page 405 / 669 » Automating Abstract Interpretation |
161
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Answer set programming (ASP) is a powerful formalism for knowledge representation and common sense reasoning that allows disjunction in rule heads and nonmonotonic negati...
140
click to vote
FASE
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. API error-handling specifications are often not documented, necessitating automated specification mining. Automated mining of error-handling specifications is challenging...
151
click to vote
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper we describe the OnEQL system, a query engine that implements optimization techniques and evaluation strategies to speed up the evaluation time of querying a...
136
Voted
EWCBR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Collaborative Web Search (CWS) proposes a case-based approach to personalizing search results for the needs of a community of like-minded searchers. The search activities...
181
Voted
FLOPS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper describes how high level implementations of (needed) narrowing into Prolog can be improved by analysing definitional trees. First, we introduce a refined repre...