Sciweavers

2440 search results - page 176 / 488
» Explanation-Based Feature Construction
Sort
View
CORR
2000
Springer
84views Education» more  CORR 2000»
15 years 4 months ago
The Role of Commutativity in Constraint Propagation Algorithms
stract setting. Then we instantiate this algorithm with specific partial orderings and functions to obtain specific constraint propagation algorithms. In particular, using the noti...
Krzysztof R. Apt
IDA
2000
Springer
15 years 4 months ago
Relation-based aggregation: finding objects in large spatial datasets
Regularities exist in datasets describing spatially distributed physical phenomena. Human experts often understand alize the regularities as abstract spatial objects evolving coher...
Xingang Huang, Feng Zhao
COMGEO
1998
ACM
15 years 4 months ago
Variable resolution triangulations
In this paper we introduce variable resolution 4– meshes, a powerful structure for the representation of geometric objects at multiple levels of detail. It combines most propert...
Enrico Puppo
SIGPLAN
2002
15 years 4 months ago
Template meta-programming for Haskell
We propose a new extension to the purely functional programming language Haskell that supports compile-time meta-programming. The purpose of the system is to support the algorithm...
Tim Sheard, Simon L. Peyton Jones
DLS
2010
146views Languages» more  DLS 2010»
15 years 2 months ago
Experiences with an icon-like expression evaluation system
The design of the Icon programming language's expression evaluation system, which can perform limited backtracking, was unique amongst imperative programming languages when c...
Laurence Tratt