Sciweavers

1098 search results - page 12 / 220
» Interval analysis for computer graphics
Sort
View
87
Voted
FM
2008
Springer
148views Formal Methods» more  FM 2008»
15 years 1 months ago
Precise Interval Analysis vs. Parity Games
In [?], a practical algorithm for precise interval analysis is provided for which, however, no non-trivial upper complexity bound is known. Here, we present a lower bound by showin...
Thomas Gawlitza, Helmut Seidl
IWSEC
2007
Springer
15 years 5 months ago
Processing Multi-parameter Attacktrees with Estimated Parameter Values
Abstract. Authors extend the multi-parameter attacktree model to include inaccurate or estimated parameter values, which are modelled as probabilistic interval estimations. The pap...
Aivo Jürgenson, Jan Willemson
76
Voted
GLOBECOM
2008
IEEE
15 years 6 months ago
Guaranteed Boxed Localization in MANETs by Interval Analysis and Constraints Propagation Techniques
Abstract—In this contribution, we propose an original algorithm for self-localization in mobile ad-hoc networks. The proposed technique, based on interval analysis, is suited to ...
Farah Mourad, Hichem Snoussi, Fahed Abdallah, C&ea...
106
Voted
BCB
2010
161views Bioinformatics» more  BCB 2010»
14 years 6 months ago
Genome-wide compatible SNP intervals and their properties
Recent studies suggest that the mammalian genomes can be subdivided in segments within which there is limited haplotype diversity. Understanding the distribution and structure of ...
Jeremy W. Wang, Kyle J. Moore, Qi Zhang, Fernando ...
96
Voted
SAC
2009
ACM
15 years 6 months ago
Topology determination and isolation for implicit plane curves
A method is proposed to generate an isolation for a plane curve, which is a set of boxes covering the curve, having the same topology as the curve, and approximating the curve to a...
Jin-San Cheng, Xiao-Shan Gao, Jia Li