741 search results - page 110 / 149 » A Local System for Classical Logic |
TMC
2012
11 years 11 months ago
2012
In this paper we study the availability of TV white spaces in Europe. Specifically, we focus on the 470–790 MHz UHF band, which will predominantly remain in use for TV broadcas...
FLAIRS
2007
13 years 11 months ago
2007
The basic aim of the model proposed here is to automatically build semantic metatext structure for texts that would allow us to search and extract discourse and semantic informati...
JAIR
2011
2011
Analyzing Search Topology Without Running Any Search: On the Connection Between Causal Graphs and h+
12 years 11 months ago
The ignoring delete lists relaxation is of paramount importance for both satisficing and optimal planning. In earlier work, it was observed that the optimal relaxation heuristic ...
MOBIHOC
2003
ACM
14 years 8 months ago
2003
ACM
Directional antennas in ad hoc networks offer many benefits compared with classical omnidirectional antennas. The most important include significant increase of spatial reuse, cov...
ICPR
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper presents an improved version of our specific methodology to detect the vessel tree in retinal angiographies. The automatic analysis of retinal vessel tree facilitates ...