1791 search results - page 194 / 359 » Two Types of Multiple-Conclusion Systems |
TACAS
1999
Springer
14 years 1 months ago
1999
Springer
The aim of this work is to investigate mechanical support for process algebra, both for concrete applications and theoretical properties. Two approaches are presented using the ver...
ANLP
2000
13 years 10 months ago
2000
In natural language generation, different generation tasks often interact with each other in a complex way, which is hard to capture in the pipeline architecture described by Reit...
TCOM
2008
13 years 9 months ago
2008
We study a distributed version of switch-and-stay combining (DSSC) for systems that utilize two relays. In particular, four different scenarios are considered, depending on a) whet...
CN
2002
13 years 9 months ago
2002
Abstract. Two types of visualization and animation tools for LOTOS execution traces are presented: a translator from LOTOS traces to Message Sequence Charts and a graphic animator....
JGAA
2002
13 years 9 months ago
2002
Enabling the user of a graph drawing system to preserve the mental map between two different layouts of a graph is a major problem. In this paper we present methods that smoothly ...