Sciweavers

1210 search results - page 71 / 242
» Specifying Precise Use Cases with Use Case Charts
Sort
View
ICCS
2007
Springer
15 years 10 months ago
Using Cyber-Infrastructure for Dynamic Data Driven Laser Treatment of Cancer
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...
ITC
2003
IEEE
197views Hardware» more  ITC 2003»
15 years 9 months ago
Critical Timing Analysis in Microprocessors Using Near-IR Laser Assisted Device Alteration (LADA)
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...
Jeremy A. Rowlette, Travis M. Eiles
COLING
2008
15 years 5 months ago
OntoNotes: Corpus Cleanup of Mistaken Agreement Using Word Sense Disambiguation
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...
Liang-Chih Yu, Chung-Hsien Wu, Eduard H. Hovy
ACL
2006
15 years 5 months ago
Using WordNet to Automatically Deduce Relations between Words in Noun-Noun Compounds
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...
Fintan J. Costello, Tony Veale, Simon Dunne
CSFW
2003
IEEE
15 years 9 months ago
Using First-Order Logic to Reason about Policies
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...
Joseph Y. Halpern, Vicky Weissman