TCS
2008
15 years 17 days ago
2008
The aim of the paper is to give a compositional semantics in the style of the Structural Operational Semantics (SOS) and to study behavioral equivalence notions for P Systems. Fir...
91
Voted
TCS
2008
15 years 17 days ago
2008
Most genome rearrangements (e.g., reversals and translocations) can be represented as 2-breaks that break a genome at 2 points and glue the resulting fragments in a new order. Mul...
93
Voted
TCS
2008
15 years 17 days ago
2008
We show that the class of Petri nets is less expressive with respect to bisimulation equivalence than the class of PA processes extended with a finite state control unit. Key word...
49
Voted
TCS
2008
15 years 17 days ago
2008
47
Voted
TCS
2008
15 years 17 days ago
2008
55
Voted
TCS
2008
15 years 17 days ago
2008
93
Voted
TCS
2008
15 years 17 days ago
2008
Computing frequent itemsets is one of the most prominent problems in data mining. We study the following related problem, called FREQSAT, in depth: given some itemset-interval pai...
40
Voted
TCS
2008
15 years 17 days ago
2008
89
Voted
TCS
2008
15 years 17 days ago
2008
We develop a unified framework for dealing with constructibility and absoluteness in set theory, decidability of relations in effective structures (like the natural numbers), and ...
104
Voted
TCS
2008
15 years 17 days ago
2008
We investigate the decidability of observational equivalence and approximation in Reynolds' "Syntactic Control of Interference" (SCI), a prototypical functionalimpe...