9316 search results - page 298 / 1864 » Analysis of traceback techniques |
145
click to vote
CAV
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...
167
click to vote
FCT
2007
Springer
16 years 27 days ago
2007
Springer
We present new combinatorial approximation algorithms for k-set cover. Previous approaches are based on extending the greedy algorithm by efficiently handling small sets. The new a...
152
click to vote
HYBRID
2007
Springer
16 years 26 days ago
2007
Springer
In this paper we propose a new technique for verification by simulation of continuous and hybrid dynamical systems with uncertain initial conditions. We provide an algorithmic met...
157
click to vote
ICANNGA
2007
Springer
16 years 26 days ago
2007
Springer
Chest radiographs play an important role in the diagnosis of lung cancer. Detection of pulmonary nodules in chest radiographs forms the basis of early detection. Due to its sparse ...
131
click to vote
DATE
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper derives the multi-layer heat conduction Green’s function, by integrating the eigen-expansion technique and the classic transmission line theories, and presents a loga...