MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Subsequence Invariants." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

13 documents found, showing 1 through 10. Next 10 →

ATOM

Algebraic Aspects of Increasing Subsequences
by Jinho Baik, Eric M. Rains — 1999 — Duke Math. J
… increasing subsequences and invariants of the classical groups. Indeed, all of the integrals for which we…
Cited by 17 (4 self) – Add To MetaCart

Finding Optimal Sequential Decompositions Of Erosions And Dilations
by A. Junior Barrera, B. Carlos E. Ferreira, C. Ronaldo F. Hashimoto, B. Carlos, E. Ferreira, C. Ronaldo, F. Hashimoto
… that represents the space of all possible subsequences of the invariant sequence of A. Let B 1 ; B 2 ; : : : ; Bm…
Add To MetaCart

MEDITE: A Unilingual Textual Aligner
by Julien Bourdaillet, Jean-gabriel Ganascia — 2006 — Advances in Natural Language Processing, 5th International Conference on NLP, FinTAL 2006
… the alignment resulting from step two and consider the subsequences between each pair of aligned invariant…
Cited by 1 (1 self) – Add To MetaCart

A basis for the Birman-Wenzl algebra
by H. R. Morton, A. J. Wassermann — 2000
…. Subsequently these invariants were understood in terms of solutions of the quantum Yang-Baxter equation…
Cited by 2 (0 self) – Add To MetaCart

Combination of Abstractions in the astrée Static Analyzer
by Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival — In : Eight Annual IBM Programming Language Day, IBM Thomas J. Watson Research
… the ability of the octagon domain [9] to infer the necessary inductive invariant x − i ≤ 10, simply because…
Cited by 2 (1 self) – Add To MetaCart

Detecting Periodic Patterns in Biological Sequences
by Eivind Coward, Finn Drabløs — 1998
… a into consecutive subsequences a 1 ,a 2 , … , a r of length p each and use the notation: a i � a i…
Cited by 8 (0 self) – Add To MetaCart

A Bilinear Illumination Model for Robust Face Recognition
by Jinho Lee, Jinho Lee, Baback Moghaddam, Baback Moghaddam, Hanspeter Pfister, Hanspeter Pfister, Raghu Machiraju, Raghu Machiraju — 2005 — In ICCV05
… in the form of a tool for subsequent invariant modeling and subspace generation, as opposed to the final…
Cited by 4 (0 self) – Add To MetaCart

Mapping MIMO control system specifications into Parameter Space
by Michael Muhler — 2002
… position without affecting the elastic mode leads to quite similar regions in the subsequent invariance…
Add To MetaCart

Proofs of Safety for Untrusted Code
by Grigore Rosu, Nathan Segerlind — 1999
… at upon execution satisfies the subsequent invariant. 7 From this, a simple induction argument can show…
Cited by 1 (0 self) – Add To MetaCart

Path Selection
by Lecturer Satish, B. Rao, Scribe Ranjit Jhala — 2001
… to indicate to both that it will send no more packets subsequently. The invariant we maintain is that all…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB