8838 search results - page 386 / 1768 » Generalizing Domain Theory |
155
click to vote
TSP
2008
15 years 6 months ago
2008
We derive optimal filters on the sphere in the context of detecting compact objects embedded in a stochastic background process. The matched filter and the scale adaptive filter ar...
179
click to vote
AML
2002
15 years 6 months ago
2002
Using a slight generalization, due to Palmgren, of sheaf semantics, we present a term-model construction that assigns a model to any first-order intuitionistic theory. A modificat...
168
click to vote
EJC
2000
15 years 6 months ago
2000
We study the zeros of two families of polynomials related to rook theory and matchings in graphs. One of these families is based on the cover polynomial of a digraph introduced by ...
205
click to vote
DC
2002
15 years 6 months ago
2002
A new general theory about restoration of network paths is first introduced. The theory pertains to restoration of shortest paths in a network following failure, e.g., we prove th...
144
click to vote
SIGIR
2010
ACM
15 years 5 months ago
2010
ACM
We introduce in this paper the family of information-based models for ad hoc information retrieval. These models draw their inspiration from a long-standing hypothesis in IR, name...