Hyperthermia based cancer treatments are used to increase the susceptibility of cancerous tissue to subsequent radiation or chemotherapy treatments, and in the case in which a tumo...
Chandrajit L. Bajaj, J. Tinsley Oden, Kenneth R. D...
A scalable laser-based timing analysis technique we call laser assisted device alteration (LADA) is introduced for the rapid isolation and analysis of defect-free performance limi...
Annotated corpora are only useful if their annotations are consistent. Most large-scale annotation efforts take special measures to reconcile inter-annotator disagreement. To date...
We present an algorithm for automatically disambiguating noun-noun compounds by deducing the correct semantic relation between their constituent words. This algorithm uses a corpu...
A policy describes the conditions under which an action is permitted or forbidden. We show that a fragment of (multi-sorted) first-order logic can be used to represent and reason...