842 search results - page 94 / 169 » Numerical Analysis on a Quantum Computer |
HYBRID
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
ICPR
2008
IEEE
14 years 2 months ago
2008
IEEE
The segmentation of networks is important in several imaging domains, and models incorporating prior shape knowledge are often essential for the automatic performance of this task...
SIBGRAPI
2007
IEEE
14 years 2 months ago
2007
IEEE
Visualizations are highly valuable in improving the understanding, as well as the analysis of a variety of physical phenomena. Two such applications can be as a pedagogical tool f...
PASTE
2004
ACM
14 years 1 months ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
IMR
2004
Springer
14 years 1 months ago
2004
Springer
We describe some extensions to the grid smoothing scheme described in [1, 2] that deal with the following issues: 1) the clustering effect of changing valence in an unstructured ...