5482 search results - page 352 / 1097 » Logic Programming and Databases |
201
click to vote
EC
2008
15 years 6 months ago
2008
We investigated image retrieval using texture segmentation by genetic programming. In this study, we are interested with two textures: sky and grass textures. Single-step texture ...
171
click to vote
KDD
1997
ACM
15 years 11 months ago
1997
ACM
In this paper, we describe the JAM system, a distributed, scalable and portable agent-based data mining system that employs a general approach to scaling data mining applications ...
196
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present proach based on the use of higher-order abstract syntax and...
195
click to vote
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
We define a new decidable logic for expressing and checking invariants of programs that manipulate dynamically-allocated objects via pointers and destructive pointer updates. The ...
159
Voted
DEBU
1999
15 years 6 months ago
1999
WOL is a Horn-clause language for specifying transformations involving complex types and recursive data-structures. Its declarative syntax makes programs easy to modify in respons...