8768 search results - page 166 / 1754 » Generalizing the notion of support |
190
click to vote
ISSTA
2006
ACM
16 years 1 months ago
2006
ACM
Testing with random inputs can give surprisingly good results if the distribution of inputs is spread out evenly over the input domain; this is the intuition behind Adaptive Rando...
178
click to vote
ASIAN
2006
Springer
15 years 11 months ago
2006
Springer
In the investigation of the relationship between the formal and the computational view of cryptography, a recent approach, first proposed in [10], uses static equivalence from cryp...
207
Voted
GG
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Local confluence is an important property in many rewriting and transformation systems. The notion of critical pairs is central for being able to verify local confluence ...
202
click to vote
JAIR
2008
15 years 7 months ago
2008
In this paper, we propose a set of tasks that are relevant for the modular reuse of ontologies. In order to formalize these tasks as reasoning problems, we introduce the notions o...
171
click to vote
JMIV
2010
15 years 5 months ago
2010
Preserving topological properties of objects during thinning procedures is an important issue in the field of image analysis. In the case of 2-D digital images (i.e. images defi...