3116 search results - page 360 / 624 » Positively dependent types |
169
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
We consider positive rules in which the conclusion may contain existentially quantified variables, which makes reasoning tasks (such as Deduction) undecidable. These rules have t...
169
Voted
SAC
2009
ACM
15 years 11 months ago
2009
ACM
In Information Visualization, adding and removing data elements can strongly impact the underlying visual space. We introduce a chess board analogy for displaying (projecting) obj...
162
click to vote
WEBI
2009
Springer
15 years 11 months ago
2009
Springer
Clickthrough rate and cost-per-click are known to be among the factors that impact the rank of an ad shown on a search result page. Hence, search engines can benefit from estimat...
208
Voted
STACS
2001
Springer
15 years 11 months ago
2001
Springer
We consider the problem of computing an optimal range assignment in a wireless network which allows a specified source station to perform a broadcast operation. In particular, we ...
179
click to vote
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper we describe a voxel-based 3-D reconstruction technique from multiple calibrated camera views that makes explicit use of the finite size footprint of a voxel when pr...