2465 search results - page 184 / 493 » Automata on Linear Orderings |
86
Voted
ADHOC
2004
15 years 17 days ago
2004
An ad hoc learning-automata-based protocol for wireless LANs, capable of operating efficiently under bursty traffic conditions, is introduced. According to the proposed protocol, ...
88
Voted
ENTCS
2002
15 years 15 days ago
2002
We present a new approach to the modelling of time constrained systems. It is based on untimed high-level Petri nets using the concept of causal time. With this concept, the progr...
121
Voted
MTA
2007
15 years 5 days ago
2007
Abstract. In this paper we address the problem of comparing multimedia documents, which can be described according to different reference models. If we consider presentations as c...
103
Voted
ENTCS
2010
14 years 10 months ago
2010
We present MLSolver, a tool for solving the satisfiability and validity problems for modal fixpoint logics. The underlying technique is based on characterisations of satisfiabilit...
114
Voted
ISSAC
2009
Springer
15 years 7 months ago
2009
Springer
We address complexity issues for linear differential equations in characteristic p > 0: resolution and computation of the p-curvature. For these tasks, our main focus is on al...