949 search results - page 39 / 190 » Programmed Mutagenesis Is Universal |
145
click to vote
SAS
2001
Springer
15 years 9 months ago
2001
Springer
We present the implementation of cTI, a system for universal left-termination inference of logic programs, which heavily relies on static analysis techniques. Termination inference...
131
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Plagiarism detection is a growing need among educational institutions and solutions for different purposes exist. An important field in this direction is detecting cases of source...
105
click to vote
EPIA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In this paper we study colored nonogram solving using Integer Linear Programming. Our approach generalizes the one used by Robert A. Bosch which was developed for black a...
137
click to vote
TPHOL
1998
IEEE
15 years 8 months ago
1998
IEEE
Abstraction in a Higher-Order Logic Framework Marco Benini Sara Kalvala Dirk Nowotka Department of Computer Science University of Warwick, Coventry, CV4 7AL, United Kingdom We pres...
144
click to vote
EUROMICRO
1996
IEEE
15 years 8 months ago
1996
IEEE
A message passing program composition methodology, called Ensemble, applied for Parix is presented. Ensemble overcomes the implementation problems and complexities in developing a...