91 search results - page 6 / 19 » Extended Stigmergy in Collective Construction |
AMR
2007
Springer
15 years 3 months ago
2007
Springer
We extend an approach to search inside large-scale music collections by enabling the user to give feedback on the retrieved music pieces. In the original approach, a search engine ...
ICLP
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We provide a general and modular framework for describing inferences in Answer Set Programming (ASP) that aims at an easy incorporation of additional language constructs....
SIAMSC
2010
14 years 8 months ago
2010
In this paper, we consider cracks with Dirichlet boundary conditions. We first derive an asymptotic expansion of the boundary perturbations that are due to the presence of a smal...
LICS
2007
IEEE
15 years 3 months ago
2007
IEEE
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we...
CVPR
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper addresses the novel problem of automatically synthesizing an output image from a large collection of different input images. The synthesized image, called a digital tap...