Sciweavers

581 search results - page 3 / 117
» formats 2006
Sort
View
JCSS
2000
98views more  JCSS 2000»
13 years 7 months ago
Rooted Branching Bisimulation as a Congruence
This article presents a congruence format, in structural operational semantics, for rooted branching bisimulation equivalence. The format imposes additional requirements on Groote...
Wan Fokkink
ANTSW
2006
Springer
13 years 11 months ago
Chain Based Path Formation in Swarms of Robots
Shervin Nouyan, Marco Dorigo
ANOR
2006
52views more  ANOR 2006»
13 years 7 months ago
Multi-objectives for incremental cell formation problem
O. Mahesh, G. Srinivasan