1247 search results - page 108 / 250 » A Generalization of Jumps and Labels |
PRIB
2009
Springer
14 years 3 months ago
2009
Springer
Protein-protein interaction (PPI) identification is an integral component of many biomedical research and database curation tools. Automation of this task through classification ...
TSD
2001
Springer
14 years 3 months ago
2001
Springer
This paper presents a new method to enrich semantically WordNet with categories from general domain classification systems. The method is performed in two consecutive steps. First,...
TACAS
1997
Springer
14 years 2 months ago
1997
Springer
This paper describes a compositional approach to generate the labeled transition system representing the behavior of a Lotos program by repeatedly alternating composition and reduc...
TAPSOFT
1993
Springer
14 years 2 months ago
1993
Springer
Lamping's optimalgraph reduction technique for the -calculus is generalized to a new class of higher order rewriting systems, called Interaction Systems. Interaction Systems ...
FOSSACS
2008
Springer
14 years 7 days ago
2008
Springer
Abstract. Symbolic bisimulations were introduced as a mean to define value-passing process calculi using smaller, possibly finite labelled transition systems, equipped with symboli...