Sciweavers

2711 search results - page 435 / 543
» Mapping sequences by parts
Sort
View
CORR
2008
Springer
140views Education» more  CORR 2008»
15 years 6 months ago
A Cloning Pushout Approach to Term-Graph Transformation
We address the problem of cyclic termgraph rewriting. We propose a new framework where rewrite rules are tuples of the form (L, R, , ) such that L and R are termgraphs representing...
Dominique Duval, Rachid Echahed, Fréd&eacut...
EOR
2008
119views more  EOR 2008»
15 years 6 months ago
A novel mechanism for provisioning of high-level quality of service information in grid environments
Grids, like other heterogeneous systems, have reached the level of maturity where they are addressing the Quality of Service (QoS) provision aspect as a fundamental part of their ...
Konstantinos Tserpes, Dimosthenis Kyriazis, Andrea...
FUIN
2006
107views more  FUIN 2006»
15 years 6 months ago
Learning Sunspot Classification
Sunspots are the subject of interest to many astronomers and solar physicists. Sunspot observation, analysis and classification form an important part of furthering the knowledge a...
Trung Thanh Nguyen, Claire P. Willis, Derek J. Pad...
CORR
2007
Springer
119views Education» more  CORR 2007»
15 years 6 months ago
A New Achievability Scheme for the Relay Channel
In this paper, we propose a new coding scheme for the general relay channel. This coding scheme is in the form of a block Markov code. The transmitter uses a superposition Markov ...
Wei Kang, Sennur Ulukus
JLP
2006
81views more  JLP 2006»
15 years 6 months ago
Development graphs - Proof management for structured specifications
Development graphs are a tool for dealing with structured specifications in a formal program development in order to ease the management of change and reusing proofs. In this work...
Till Mossakowski, Serge Autexier, Dieter Hutter