4949 search results - page 718 / 990 » Consistency and Set Intersection |
163
click to vote
DEBS
2010
ACM
15 years 10 months ago
2010
ACM
A new publish/subscribe capability is presented: the ability to predict the likelihood that a subscription will be matched at some point in the future. Composite subscriptions con...
174
click to vote
RTA
2010
Springer
15 years 10 months ago
2010
Springer
Infinitary Term Rewriting allows to express infinitary terms and infinitary reductions that converge to them. As their notion of transfinite reduction in general, and as binary...
194
click to vote
EVOW
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we introduce an hybrid evolutionary algorithm for computer-aided orchestration. Our current approach to orchestration consists in replicating a target sound with a se...
153
click to vote
SIGIR
2010
ACM
15 years 10 months ago
2010
ACM
In this paper we analyze queries and sessions intended to satisfy children’s information needs using a large-scale query log. The aim of this analysis is twofold: i) To identify...
152
click to vote
CVPR
2009
IEEE
15 years 10 months ago
2009
IEEE
Boosted by the Middlebury challenge, the precision of dense multi-view stereovision methods has increased drastically in the past few years. Yet, most methods, although they perfo...