770 search results - page 32 / 154 » Dinatural Terms in System F |
ARTS
1997
Springer
15 years 1 months ago
1997
Springer
In 10 , an algebra for timed automata has been introduced. In this article, we introduce a syntactic characterisation of nite timed automata in terms of that process algebra. We s...
103
click to vote
FORTE
2008
14 years 11 months ago
2008
Abstract. Our concrete objective is to present both ordinary bisimulations and probabilistic bisimulations in a common coalgebraic framework based on multiset bisimulations. For th...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...
SIGIR
2004
ACM
15 years 3 months ago
2004
ACM
In this poster we present an overview of the techniques we used to develop and evaluate a text categorisation system for the PRINCIP project which sets out to automatically classi...
CIKM
2008
Springer
14 years 11 months ago
2008
Springer
Folksonomies provide a comfortable way to search and browse the blogosphere. As the tags in the blogosphere are sparse, ambiguous and too general, this paper proposes both a super...