منابع مشابه
Shape Analysis via Second-Order Bi-Abduction (Technical Report)
We present a new modular shape analysis that can synthesize heap memory specification on a per method basis. We rely on a second-order biabduction mechanism that can give interpretations to unknown shape predicates. There are several novel features in our shape analysis. Firstly, it is grounded on second-order bi-abduction. Secondly, we distinguish unknown pre-predicates in pre-conditions, from...
متن کاملOccipital bi-transtentorial/falcine approach for falcotentorial meningioma: case report.
Lesions located in the bilateral posterior incisural space are difficult to treat due to limited exposure. The classical approaches to this area are limited for lesions located bilaterally and especially when the lesion extends also below the tentorium as it may occur with meningiomas. Kawashima et al. reported, in anatomic studies, a new occipital transtentorial approach: the occipital bi-tran...
متن کاملBi-modal Handwritten Text Recognition (BiHTR) ICPR 2010 Contest Report
Handwritten text is generally captured through two main modalities: off-line and on-line. Each modality has advantages and disadvantages, but it seems clear that smart approaches to handwritten text recognition (HTR) should make use of both modalities in order to take advantage of the positive aspects of each one. A particularly interesting case where the need of this bi-modal processing arises...
متن کاملBi-modal Handwritten Text Recognition ICPR’10 Contest report
Handwritten text is generally captured through two main modalities: off-line and on-line. Each modality has advantages and disadvantages, but it seems clear that smart approaches to handwritten text recognition (HTR) should make use of both modalities in order to take advantage of the positive aspects of each one. A particularly interesting case where the need of this bi-modal processing arises...
متن کاملBi-rooted Primary Maxillary Canines: A Case Report
This report presents a rare case of bi-rooted primary maxillary canines. A 6-year-old girl presented at the Department of Pediatric Dentistry, Faculty of Dentistry, Mashhad University of Medical Sciences, Iran, with the chief complaint of pain in the lower right quadrant of her dentition. Radiographic examination revealed bifurcation of primary maxillary canine roots. This report discusses the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: College & Research Libraries News
سال: 1983
ISSN: 2150-6698,0099-0086
DOI: 10.5860/crln.44.2.36