110 search results - page 2 / 22 » Domains of Higher-Dimensional Automata |
FCT
2009
Springer
14 years 7 months ago
2009
Springer
LICS
1996
IEEE
15 years 1 months ago
1996
IEEE
We introduce the notion of higher dimensional transition systems as a model of concurrency providing an elementary, set-theoretic formalisation of the idea of higher dimensional t...
SMA
2006
ACM
15 years 3 months ago
2006
ACM
We present an efficient and robust algorithm for computing the minimum distance between a point and freeform curve or surface by lifting the problem into a higher dimension. This...
101
click to vote
GECCO
2006
Springer
15 years 1 months ago
2006
Springer
Adaptive Random Testing subsumes a class of algorithms that detect the first failure with less test cases than Random Testing. The present paper shows that a "reference metho...
100
click to vote
LPAR
2005
Springer
15 years 3 months ago
2005
Springer
The notion of comparative similarity ‘X is more similar or closer to Y than to Z’ has been investigated in both foundational and applied areas of knowledge representation and r...