MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Ranking Abstractions." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 58 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Ranking abstractions  
  • by Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang — 2008
  • …Ranking Abstractions Aziem Chawdhary 1 , Byron Cook 2 , Sumit Gulwani 2 , Mooly Sagiv 3…
  • Add To MetaCart
  • Ranking abstraction of recursive programs  
  • by Ittai Balaban, Ariel Cohen, Amir Pnueli — 2006 — In VMCAI’06: Verification, Model Checking, and Abstract Interpretation
  • …Ranking Abstraction of Recursive Programs ⋆ Ittai Balaban 1 , Ariel Cohen 1 , and Amir Pnueli 12 1…
  • Cited by 1 (1 self) – Add To MetaCart
  • Shape analysis of single-parent heaps  
  • by Ittai Balaban, Amir Pnueli, Lenore D. Zuck — 2007 — Proc. of the 8 th Int. Conference on Verification, Model Checking, and Abstract Interpretation, Lect. Notes in Comp. Sci
  • … single-parent heap. It is then possible to apply shape analysis by predicate and ranking abstraction…
  • Cited by 2 (1 self) – Add To MetaCart
  • Recognizing gene and protein function in MEDLINE abstracts  
  • by Richard D. Hull, Larry F. Waldman — 2003 — in “Proc. Text Retrieval Conference (TREC)”, NIST—National Institute of Standards and Technology, National Institute of Standards and Technology (NIST
  • … abstracts that suggest gene function and to rank those abstracts by a measure of how many appropriate…
  • Cited by 1 (0 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB