Sciweavers

22 search results - page 5 / 5
» Checking and inferring local non-aliasing
Sort
View
BMCBI
2007
120views more  BMCBI 2007»
13 years 4 months ago
Phylo-mLogo: an interactive and hierarchical multiple-logo visualization tool for alignment of many sequences
Background: When aligning several hundreds or thousands of sequences, such as epidemic virus sequences or homologous/orthologous sequences of some big gene families, to reconstruc...
Arthur Chun-Chieh Shih, D. T. Lee, Chin-Lin Peng, ...
PPDP
2010
Springer
13 years 2 months ago
Rewrite-based verification of XML updates
We propose a model for XML update primitives of the W3C XQuery Update Facility as parameterized rewriting rules of the form: "insert an unranked tree from a regular tree lang...
Florent Jacquemard, Michaël Rusinowitch