906 search results - page 99 / 182 » Linking Theories of Concurrency |
103
click to vote
AC
2000
Springer
15 years 2 months ago
2000
Springer
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...
KR
1998
Springer
15 years 2 months ago
1998
Springer
A theory is elaboration tolerant to the extent that new information can be incorporated with only simple changes. The simplest change is conjoining new information, and only conju...
MICCAI
2007
Springer
15 years 10 months ago
2007
Springer
A mapping of unit vectors onto a 5D hypersphere is used to model and partition ODFs from HARDI data. This mapping has a number of useful and interesting properties and we make a li...
WWW
2007
ACM
15 years 10 months ago
2007
ACM
In a social network, nodes correspond to people or other social entities, and edges correspond to social links between them. In an effort to preserve privacy, the practice of anon...
RECOMB
2008
Springer
15 years 10 months ago
2008
Springer
In the past years, many combinatorial arguments have been made to support the theory that mammalian genome rearrangement scenarios rely heavily on breakpoint reuse. Different model...