2916 search results - page 295 / 584 » Generating Rule Sets from Model Trees |
161
click to vote
SYNASC
2005
IEEE
16 years 6 days ago
2005
IEEE
We improve, by using register machines, some existing universality results for specific models of P systems. P systems with membrane creation are known to generate all recursivel...
177
click to vote
PROVSEC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Oracle separation methods are used in cryptography to rule out blackbox reductions between cryptographic primitives. It is sufficient to find an oracle relative to whic...
169
click to vote
TON
2002
15 years 6 months ago
2002
We present two routing strategies, identified herein as static least loaded routing (SLLR) and dynamic least loaded routing (DLLR). Dynamic routing in circuit-switched networks has...
216
Voted
CIE
2010
Springer
15 years 11 months ago
2010
Springer
Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as ...
163
click to vote
DSVIS
2005
Springer
16 years 5 days ago
2005
Springer
The design and construction of navigation menus for websites have traditionally been performed manually according to the intuition of a web developer. This paper introduces a new a...