9359 search results - page 726 / 1872 » Generalization Algorithms for Second-Order Terms |
204
click to vote
PPDP
2007
Springer
16 years 1 months ago
2007
Springer
We propose a new definition and use of a primitive getAllValues, for computing all the values of a non-deterministic expression in a functional logic program. Our proposal restri...
175
click to vote
DOCENG
2006
ACM
16 years 1 months ago
2006
ACM
With the development of variable-data-driven digital presses where each document printed is potentially unique there is a need for pre-press optimization to identify material that...
186
click to vote
ISLPED
2006
ACM
16 years 1 months ago
2006
ACM
Interprocessor synchronization, while extremely important for ensuring execution correctness, can be very costly in terms of both power and performance overheads. Unfortunately, m...
207
click to vote
IWCMC
2006
ACM
16 years 1 months ago
2006
ACM
Sensor devices are being embedded in all sorts of items including vehicles, furniture but also animal and human bodies through health monitors and tagging techniques. The collecti...
227
click to vote
JCDL
2006
ACM
16 years 1 months ago
2006
ACM
Document clustering has been used for better document retrieval, document browsing, and text mining in digital library. In this paper, we perform a comprehensive comparison study ...