2356 search results - page 51 / 472 » Characterizations of postman sets |
ENTCS
2002
14 years 11 months ago
2002
We present pmlB, a programming language that includes primitive sets and associated operations. The language is equipped with a precise type discipline that statically captures dy...
CIE
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We discuss some known and introduce some new reducibilities on regular sets. We establish some facts on the corresponding degree structures and relate some reducibilities...
IJBC
2002
14 years 11 months ago
2002
Let F be the lifting of a circle map of degree one. In [?] a notion of F-rotation interval of a point x S1 was given. In this paper we define and study a new notion of a rotation ...
INFOCOM
2007
IEEE
15 years 6 months ago
2007
IEEE
— Despite the increasing number of WiFi-based Long Distance (WiLD) network deployments, there is a lack of understanding of how WiLD networks perform in practice. In this paper, ...
126
click to vote
AB
2007
Springer
15 years 6 months ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...