Sciweavers

10602 search results - page 417 / 2121
» Weakly Useful Sequences
Sort
View
VMV
2001
130views Visualization» more  VMV 2001»
15 years 9 months ago
One-sided Stability of MAT and Its Applications
Although useful in many applications, the medial axis transform (MAT) has a few fit-falls, one of which is its extreme sensitivity to the boundary perturbation. In this paper, we ...
Sung Woo Choi, Hans-Peter Seidel
AAAI
1994
15 years 9 months ago
A Preference-Based Approach to Default Reasoning: Preliminary Report
An approach to nonmonotonic inference, based on preference orderings between possible worlds or states of affairs, is presented. We begin with an extant weak theory of default con...
James P. Delgrande
ENTCS
2007
140views more  ENTCS 2007»
15 years 7 months ago
Admissible Representations of Probability Measures
In a recent paper, probabilistic processes are used to generate Borel probability measures on topological spaces X that are equipped with a representation in the sense of Type-2 T...
Matthias Schröder
LATINCRYPT
2010
15 years 6 months ago
How Leaky Is an Extractor?
This paper discusses the security of a leakage-resilient stream cipher presented at FOCS 2008, instantiated in a practical setting. Based on a case study, we put forward implementa...
François-Xavier Standaert
PTS
2010
147views Hardware» more  PTS 2010»
15 years 6 months ago
FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution
Recently there has been an upsurge of interest in both, Search– Based Software Testing (SBST), and Dynamic Symbolic Execution (DSE). Each of these two approaches has complementar...
Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jon...