1283 search results - page 172 / 257 » Science: the rules of the game |
185
click to vote
FCT
2009
Springer
16 years 26 days ago
2009
Springer
We give small universal Turing machines with state-symbol pairs of (6, 2), (3, 3) and (2, 4). These machines are weakly universal, which means that they have an infinitely repeate...
169
click to vote
ICMT
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. Pattern-based model-to-model transformation is a new approach for specifying transformations in a declarative, relational and formal style. The language relies on pattern...
186
click to vote
LICS
2008
IEEE
16 years 21 days ago
2008
IEEE
The study of constraint satisfaction problems definable in various fragments of Datalog has recently gained considerable importance. We consider constraint satisfaction problems ...
203
click to vote
ICALP
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. We develop a generic framework for deriving linear-size problem kernels for NP-hard problems on planar graphs. We demonstrate the usefulness of our framework in several c...
159
click to vote
LICS
2006
IEEE
16 years 9 days ago
2006
IEEE
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...