Sciweavers

1647 search results - page 219 / 330
» Radial Structure of the Internet
Sort
View
ICEIS
2000
IEEE
15 years 10 months ago
A User-Friendly Development Tool for Medical Diagnosis Based on Bayesian Networks
: This paper presents a web supported development tool specific for medical diagnosis, based on Bayesian networks. The proposed system provides a user-friendly interface, giving th...
Isabel Milho, Ana L. N. Fred
TPHOL
2000
IEEE
15 years 10 months ago
Routing Information Protocol in HOL/SPIN
We provide a proof using HOL and SPIN of convergence for the Routing Information Protocol (RIP), an internet protocol based on distance vector routing. We also calculate a sharp re...
Karthikeyan Bhargavan, Carl A. Gunter, Davor Obrad...
CIA
2000
Springer
15 years 10 months ago
Design of Collaborative Information Agents
Effective development of nontrivial systems of collaborative information agents requires that an in-depth analysis is made resulting in (1) specification of requirements at differe...
Catholijn M. Jonker, Matthias Klusch, Jan Treur
ISCC
1999
IEEE
176views Communications» more  ISCC 1999»
15 years 10 months ago
Image Browsing using Hierarchical Clustering
Digital images and video clips are becoming popular due to the increase in the availability of consumer devices that capture digital images and video clips. Digital content is als...
Santhana Krishnamachari, Mohamed Abdel-Mottaleb
ISWC
1999
IEEE
15 years 10 months ago
Virtual Information Towers-A Metaphor for Intuitive, Location-Aware Information Access in a Mobile Environment
This paper introduces Virtual Information Towers (VITs) as a concept for presenting and accessing location-aware information with mobile clients. A VIT is a means of structuring l...
Alexander Leonhardi, Uwe Kubach, Kurt Rothermel, A...