1128 search results - page 170 / 226 » Classical Natural Deduction |
135
click to vote
TCS
2008
15 years 4 months ago
2008
The edge dominating set (EDS) and edge cover (EC) problems are classical graph covering problems in which one seeks a minimum cost collection of edges which covers the edges or ve...
159
click to vote
IS
2007
15 years 4 months ago
2007
Sensors are often employed to monitor continuously changing entities like locations of moving objects and temperature. The sensor readings are reported to a database system, and a...
194
click to vote
TIFS
2008
15 years 4 months ago
2008
Abstract-- It has recently been discovered that using pseudorandom sequences as carriers in spread-spectrum techniques for data-hiding is not at all a sufficient condition for ensu...
143
click to vote
IVC
2007
15 years 4 months ago
2007
In this paper connected operators from mathematical morphology are extended to a wider class of operators, which are based on connectivities in higher-dimensional spaces, similar ...
132
click to vote
IVS
2007
15 years 4 months ago
2007
We revisit the design space of visualizations aiming at identifying and relating its components. In this sense, we establish a model to examine the process through which visualiza...