315 search results - page 27 / 63 » What is algebraic in process theory |
LICS
1991
IEEE
13 years 10 months ago
1991
IEEE
Baeten, Bergstra, and Klop (and later Caucal) have proved the remarkable result that bisimulation equivalence is decidable for irredundant context-free grammars. In this paper we ...
ICALT
2007
IEEE
14 years 1 months ago
2007
IEEE
Nonaka and his knowledge transformation model SECI revolutionized the thinking about organizations as social learning systems. He introduced technical concepts like hypertext into...
CANDC
2005
ACM
13 years 8 months ago
2005
ACM
The Human-Computer Interaction community has long been concerned with design. Terms such as ‘creativity’ and ‘innovation’ are frequently used when referring to the design ...
ICASSP
2009
IEEE
14 years 1 months ago
2009
IEEE
The algebraic theory of finite groups appears in signal processing problems involving the statistical analysis of ranked data and the construction of invariants for pattern recog...
FUIN
2007
13 years 6 months ago
2007
Abstract. Josephs and Udding’s DI-Algebra offers a convenient way of specifying and verifying designs that must rely upon delay-insensitive signalling between modules (asynchrono...