4067 search results - page 284 / 814 » Programs for Applying Symmetries |
187
click to vote
LPNMR
2005
Springer
16 years 7 days ago
2005
Springer
We describe an application of Abductive Logic Programming (ALP) to the analysis of an important class of DNA microarray experiments. We develop an ALP theory that provides a simple...
155
click to vote
WIA
2005
Springer
16 years 6 days ago
2005
Springer
The paper introduces a robust spelling correction technique to deal with ill-formed input strings, including unknown parts of unknown length. In contrast to previous works, we deri...
164
click to vote
PADL
2004
Springer
16 years 3 days ago
2004
Springer
In this paper we show how CR-Prolog, a recent extension of A-Prolog, was used in the successor of USA-Advisor (USA-Smart) in order to improve the quality of the plans returned. The...
154
click to vote
PEPM
2004
ACM
16 years 3 days ago
2004
ACM
We propose a new algorithm for fusion transformation that allows both stacks and accumulating parameters. The new algorithm can fuse programs that cannot be handled by existing fu...
153
click to vote
HOTOS
2003
IEEE
16 years 1 days ago
2003
IEEE
Execution of a program almost always involves multiple address spaces, possibly across separate machines. Here, an approach to reducing such costs using compiler optimization tech...