9359 search results - page 232 / 1872 » Generalization Algorithms for Second-Order Terms |
119
click to vote
DAC
2005
ACM
16 years 6 months ago
2005
ACM
In this paper, we present a new linear-time retiming algorithm that produces near-optimal results. Our implementation is specifically targeted at Altera's Stratix [1] FPGAbas...
150
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
We exploit the recently proposed Concept Abduction inference service in Description Logics to solve Concept Covering problems. We propose a framework and polynomial greedy algorit...
157
click to vote
PODS
2007
ACM
16 years 5 months ago
2007
ACM
We show that relational algebra calculations for incomplete databases, probabilistic databases, bag semantics and whyprovenance are particular cases of the same general algorithms...
172
click to vote
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
Simplified forms of the particle swarm algorithm are very beneficial in contributing to understanding of what makes a PSO swarm function in the way that it does. One of these form...
149
Voted
COMPGEOM
2008
ACM
15 years 6 months ago
2008
ACM
This movie illustrates exact construction and maintenance of arrangements induced by arcs of great circles embedded on the sphere, also known as geodesic arcs, and exact computati...