1939 search results - page 50 / 388 » Dynamic Lex Constraints |
120
Voted
RECOMB
1997
Springer
15 years 6 months ago
1997
Springer
A progressive alignment algorithm produces a multi-alignment of a set of sequences by repeatedly aligning pairs of sequences and/or previously generated alignments. We describe a ...
187
Voted
AGTIVE
2007
Springer
15 years 6 months ago
2007
Springer
On the basis of a case-study, we demonstrate the usefulness of topology invariants for model-driven systems development. Considering a graph grammar semantics for a relevant fragme...
132
Voted
HOTDEP
2008
15 years 5 months ago
2008
We describe a technique for writing distributed applications which manage themselves over one or more utility computing infrastructures: by dynamically acquiring new computational...
106
Voted
SCL
2008
15 years 2 months ago
2008
This paper proposes a methodology to compute quadratic performance bounds when the closed loop poles of a discrete-time multivariable control loop are confined to a disk, centred ...
134
Voted
TCS
2008
15 years 2 months ago
2008
Starting from the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach based on timed automata. We obtain a refined ...