Sciweavers

294 search results - page 49 / 59
» Relational Modality
Sort
View
MICCAI
2005
Springer
15 years 3 months ago
Dynamic 3D Ultrasound and MR Image Registration of the Beating Heart
Real-time three-dimensional ultrasound (RT3D US) is an ideal imaging modality for the diagnosis of cardiac disease. RT3D US is a flexible, inexpensive, non-invasive tool that provi...
Xishi Huang, Nicholas A. Hill, Jing Ren, Gerard Gu...
ICRA
1999
IEEE
97views Robotics» more  ICRA 1999»
15 years 2 months ago
Using Infrared Sensors and the Phong Illumination Model to Measure Distances
Currently, the viability of infrared IR as an accurate means of measuring distance depends on extensive prior knowledge of the surface. More speci cally, the manner in which a sur...
Paul M. Novotny, Nicola J. Ferrier
IWAN
1999
Springer
15 years 2 months ago
Policy Specification for Programmable Networks
There is a need to be able to program network components to adapt to application requirements for quality of service, specialised application dependent routing, to increase effici...
Morris Sloman, Emil Lupu
CHI
2007
ACM
15 years 1 months ago
Command line or pretty lines?: comparing textual and visual interfaces for intrusion detection
Intrusion detection (ID) is one of network security engineers' most important tasks. Textual (command-line) and visual interfaces are two common modalities used to support en...
Ramona Su Thompson, Esa M. Rantanen, William Yurci...
AAAI
2008
15 years 4 days ago
Prime Implicate Normal Form for ALC Concepts
In this paper, we present a normal form for concept expressions in the description logic ALC which is based on a recently introduced notion of prime implicate for the modal logic ...
Meghyn Bienvenu