نتایج جستجو برای: linked lists trick

تعداد نتایج: 268734  

Journal: :Proceedings of the Royal Society of Medicine 1970

2007
Josh Berdine Cristiano Calcagno Byron Cook Dino Distefano Peter W. O'Hearn Thomas Wies Hongseok Yang

We propose a shape analysis that adapts to some of the complex composite data structures found in industrial systems-level programs. Examples of such data structures include “cyclic doubly-linked lists of acyclic singly-linked lists”, “singly-linked lists of cyclic doublylinked lists with back-pointers to head nodes”, etc. The analysis introduces the use of generic higher-order inductive predic...

2013
Yan Pan Hanjiang Lai Cong Liu Yong Tang Shuicheng Yan

Rank aggregation, which combines multiple individual rank lists to obtain a better one, is a fundamental technique in various applications such as meta-search and recommendation systems. Most existing rank aggregation methods blindly combine multiple rank lists with possibly considerable noises, which often degrades their performances. In this paper, we propose a new model for robust rank aggre...

2016
Panagiotis-Marios Philippides Sotirios Karampatakis Lazaros Ioannidis Jindrich Mynarz Vojtech Svátek Charalampos Bratsas

Code lists are a key part of budget datasets as they serve for the coding of fiscal concepts within them. However, the great diversity of classifications across countries and concepts does not allow to presume upon their actual value, as dimension properties. In this paper we discuss the need for creating code lists Linked Data for the classifications used in fiscal datasets, in three basic ste...

Journal: :Scientific American 1906

Journal: :Topology and its Applications 1996

Journal: :IEICE Communications Society Magazine 2010

Journal: :Nature Reports Stem Cells 2008

Journal: :Journal of Experimental Medicine 2008

Journal: :Journal of the American Medical Association 1917

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید