1172 search results - page 78 / 235 » Constructions of generalized Sidon sets |
CALCO
2009
Springer
15 years 6 months ago
2009
Springer
We generalize the unfolding semantics, previously developed for concrete formalisms such as Petri nets and graph grammars, to the setting of (single pushout) rewriting over adhesiv...
161
click to vote
TABLEAUX
2009
Springer
15 years 6 months ago
2009
Springer
This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau i...
TLCA
2009
Springer
15 years 6 months ago
2009
Springer
We introduce a Game Semantics where strategies are partial orders, and composition is a generalization of the merging of orders. Building on this, to bridge between Game Semantics ...
SIGIR
2009
ACM
15 years 6 months ago
2009
ACM
In this paper, we propose a graph-based approach to constructing a multilingual association dictionary from Wikipedia, in which we exploit two kinds of links in Wikipedia articles...
CSMR
2008
IEEE
15 years 6 months ago
2008
IEEE
Families of products are steadily emerging for distinct settings such as embedded systems, navigational systems, financial applications or even web applications. This shifts the a...