In this paper, we consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under the answer set semantics. In this approach, new informat...
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha...
Abstract. Endoscopic endonasal skull base surgery (ESBS) requires high accuracy to ensure safe navigation of the critical anatomy at the anterior skull base. Current navigation sys...
Daniel Mirota, Hanzi Wang, Russell H. Taylor, M...
Cardiac ablation procedures are becoming more routine to treat arrhythmias. The development of electrophysiological models will allow investigation of treatment strategies. However...
We outline strategies for actuated tangible user interfaces (TUIs) to improve the study of proteins. Current protein study tools miss fundamental biology concepts because graphica...
This paper proposes collocated After Action Review (AAR) of training experiences. Through Mixed Reality (MR), collocated AAR allows users to review past training experiences in si...
John Quarles, Samsun (Sem) Lampotang, Ira Fischler...