427 search results - page 63 / 86 » On the Power of Labels in Transition Systems |
ICTAI
2005
IEEE
15 years 5 months ago
2005
IEEE
Lotos is the ISO formal specification language for describing and verifying concurrent and distributed systems. The simulation or execution of complex Lotos specifications is, h...
VL
1999
IEEE
15 years 4 months ago
1999
IEEE
Recently a new metaphor for diagramming, the intelligent diagram has emerged. This new metaphor provides an excellent basis for diagram beautification since it automatically colle...
WIA
2000
Springer
15 years 3 months ago
2000
Springer
- Adaptive technologies are based on the self-modifying property of some systems, which give their users a very powerful and convenient facility for expressing and handling complex...
104
click to vote
ICPR
2000
IEEE
16 years 25 days ago
2000
IEEE
We describe a system which is designed to assist in extracting high-level information from sets or sequences of images. We show that the method of principal components analysis fo...
ENTCS
2007
14 years 11 months ago
2007
Strategies are a powerful mechanism to control rule application in rule-based systems. For instance, different transition relations can be defined and then combined by means of ...