2911 search results - page 50 / 583 » A Theory of Expressiveness in Mechanisms |
155
click to vote
SARA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The presence of long gaps dramatically increases the difficulty of detecting and characterizing complex events hidden in long sequences. In order to cope with this proble...
139
click to vote
COLING
1996
15 years 7 months ago
1996
In this paper we analyse the problem of generating referring expressions in a multilingnal generation system that produces instructions on how to fill out pension forms. The model...
148
click to vote
CONCUR
2007
Springer
16 years 9 days ago
2007
Springer
Priority is a frequently used feature of many computational systems. In this paper we study the expressiveness of two process algebras enriched with different priority mechanisms...
182
click to vote
ENTCS
2007
15 years 5 months ago
2007
In recent papers we have introduced Mobile Synchronizing Petri Nets, a new model for mobility based on coloured Petri Nets. It allows the description of systems composed of a coll...
132
click to vote
LANMR
2007
15 years 7 months ago
2007
The best-known application of dialetheism is to semantic paradoxes such as the Liar. In particular, Graham Priest has advocated the adoption of an axiomatic truth theory in which c...