Sciweavers

6192 search results - page 340 / 1239
» Structure benefits all
Sort
View
CMSB
2004
Springer
16 years 29 days ago
Projective Brane Calculus
A refinement of Cardelli’s brane calculus [1] is introduced where membrane actions are directed. This modification brings the language closer to biological membranes and also o...
Vincent Danos, Sylvain Pradalier
GECCO
2004
Springer
16 years 28 days ago
An Investigation of R-Chunk Detector Generation on Higher Alphabets
Abstract. We propose an algorithm for generating all possible generatable r-chunk detectors, which do not cover any elements in self set S. In addition, the algorithm data structur...
Thomas Stibor, Kpatcha M. Bayarou, Claudia Eckert
SWSTE
2003
IEEE
16 years 25 days ago
Towards a Standard Family of Languages for Matching Patterns in Source Code
This paper makes a case for the definition of a family of languages for expressing patterns over both the structure and semantics of source code. Our proposal is unique in that i...
Uri Dekel, Tal Cohen, Sara Porat
ICALP
2003
Springer
16 years 23 days ago
Sophistication Revisited
Kolmogorov complexity measures the ammount of information in a string as the size of the shortest program that computes the string. The Kolmogorov structure function divides the s...
Luis Antunes 0002, Lance Fortnow
BIRTHDAY
2008
Springer
15 years 9 months ago
Unfolding Graph Transformation Systems: Theory and Applications to Verification
The unfolding of a system represents in a single branching structure all its possible computations: it is the cornerstone both of semantical constructions and of efficient partial ...
Paolo Baldan, Andrea Corradini, Barbara König