7167 search results - page 364 / 1434 » Answer Set Programming |
123
click to vote
JUCS
2007
15 years 3 months ago
2007
: Most automated reasoning tasks with practical applications can be automatically reformulated into a constraint solving task. A constraint programming platform can thus act as a u...
120
Voted
ACTAC
2002
15 years 3 months ago
2002
A method for recognizing design patterns from C++ programs is presented. The method consists of two separate phases, analysis and reverse engineering of the C++ code, and architec...
113
click to vote
CN
1998
15 years 3 months ago
1998
In this paper we introduce a programming language for Web document processing called WebL. WebL is a high level, object-oriented scripting language that incorporates two novel fea...
124
click to vote
SPIN
2010
Springer
15 years 1 months ago
2010
Springer
This paper addresses the problem of verifying programs for the relaxed memory models implemented in modern processors. Specifically, it considers the TSO (Total Store Order) relax...
162
Voted
PAAMS
2010
Springer
15 years 1 months ago
2010
Springer
In this paper we present a novel algorithm, named GBAP, that jointly uses automatic programming with ant colony optimization for mining classification rules. GBAP is based on a con...