8228 search results - page 1393 / 1646 » Structural Logical Relations |
107
Voted
ICALP
2005
Springer
15 years 6 months ago
2005
Springer
The firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. We identify a class of residuated commutative monoids, called Petri ...
ICNC
2005
Springer
15 years 6 months ago
2005
Springer
In this paper, after a new DNA-based semantic model is theoretically proposed, the preliminary experiment on construction of the small test model is successfully done. This model, ...
107
Voted
LCPC
2005
Springer
15 years 6 months ago
2005
Springer
Techniques for global register allocation via graph coloring have been extensively studied and widely implemented in compiler frameworks. This paper examines a particular variant ...
102
Voted
OTM
2005
Springer
15 years 6 months ago
2005
Springer
This paper provides a novel Web image clustering methodology based on their associated texts. In our approach, the semantics of Web images are firstly represented into vectors of t...
118
Voted
OTM
2005
Springer
15 years 6 months ago
2005
Springer
The strong dynamics of peer-to-peer networks, coupled with the diversity of peer vocabularies, makes query processing in peer database systems a very challenging task. In this pape...