Sciweavers

21520 search results - page 104 / 4304
» Symmetric network computation
Sort
View
APN
1994
Springer
15 years 9 months ago
On the Model of Computation of Place/Transition Petri Nets
Abstract. In the last few years, the semantics of Petri nets has been investigated in several different ways. Apart from the classical "token game", one can model the beh...
José Meseguer, Ugo Montanari, Vladimiro Sas...
ISBI
2008
IEEE
16 years 6 months ago
An algorithm to map asymmetries of bilateral objects in point clouds
We present a method to automatically quantify the local asymmetries of bilateral structures in point clouds. The method relies on the robust computation of the approximate symmetr...
Benoît Combès, Robin Hennessy, John W...
ISSRE
2003
IEEE
15 years 10 months ago
Exploiting Symmetries to Test Programs
Symmetries often appear as properties of many artifical settings. In Program Testing, they can be viewed as properties of programs and can be given by the tester to check the cor...
Arnaud Gotlieb
AMAST
1991
Springer
15 years 9 months ago
Event Spaces and their Linear Logic
Boolean logic treats disjunction and conjunction symmetrically and algebraically. The corresponding operations for computation are respectively nondeterminism (choice) and concurr...
Vaughan R. Pratt
ICASSP
2010
IEEE
15 years 5 months ago
Empirical Type-i filter design for image interpolation
Empirical filter designs generalize relationships inferred from training data to effect realistic solutions that conform well to the human visual system. Complex algorithms invol...
Karl S. Ni, Truong Q. Nguyen