14 search results - page 3 / 3 » Symbolic Partial Order Reduction for Rule Based Transition S... |
TOOLS
2000
IEEE
13 years 9 months ago
2000
IEEE
UML is widely used today for modelling complex systems. However, the tools support capabilities for UML is limited, partially due to its lack of precise semantics. There are some ...
MCU
1998
13 years 6 months ago
1998
The paper extends some of the most recently obtained results on the computational universality of speci c variants of H systems (e.g. with regular sets of rules) and proves that we...
IJSI
2008
13 years 5 months ago
2008
In [19], Toyama proved that the union of two confluent term-rewriting systems that share absolutely no function symbols or constants is likewise confluent, a property called modula...
ICPR
2002
IEEE
13 years 10 months ago
2002
IEEE
We present a fast method for locating iris features in frontal face images based on the Hough transform. It consists of an initial iris detection step and a tracking step which us...