15375 search results - page 52 / 3075 » cans 2008 |
APAL
2008
13 years 7 months ago
2008
Bisimulations, behavioral equivalence and logical equivalence are investigated for stochastic T-coalgebras that interpret coalgebraic logic which is defined in terms of predicate ...
IJCM
2008
13 years 7 months ago
2008
We give an algorithm for enumerating cosets of a group defined as a finite homomorphic image of a semi-direct product of free products of cyclic groups by a group of monomial auto...
COMCOM
2002
13 years 7 months ago
2002
Recently, several studies have looked into the problem of replicated server placement on the Internet. Some of those studies have demonstrated that there exists a replica placemen...
AI
2008
Springer
13 years 7 months ago
2008
Springer
Traditional approaches to temporal reasoning assume that time periods and time spans of events can be accurately represented as intervals. Real
AIML
2008
13 years 9 months ago
2008
In this paper we prove that Japaridze's Polymodal Logic is PSPACE-decidable. To show this, we describe a decision procedure for satisfiability on hereditarily ordered frames t...