Sciweavers

4812 search results - page 155 / 963
» Superimposed Information for the Internet
Sort
View
TPHOL
2000
IEEE
15 years 6 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...
124
Voted
FGR
2004
IEEE
169views Biometrics» more  FGR 2004»
15 years 5 months ago
Skin Detection using Neighborhood Information
Skin detection is employed in tasks like face detection and tracking, naked people detection, hand detection and tracking, people retrieval in databases and Internet, etc. However...
Javier Ruiz-del-Solar, Rodrigo Verschae
DBSEC
2007
106views Database» more  DBSEC 2007»
15 years 3 months ago
Enforcing Honesty in Assured Information Sharing Within a Distributed System
The growing number of distributed information systems such as the internet has created a need for security in data sharing. When several autonomous parties attempt to share data, t...
Ryan Layfield, Murat Kantarcioglu, Bhavani M. Thur...
APVIS
2006
15 years 3 months ago
Information gathering support interface by the overview presentation of web search results
The Internet consists of several billion documents. Choosing information from such a great number of Web pages is not easy. We do not think that the interfaces of traditional sear...
Takumi Kobayashi, Kazuo Misue, Buntarou Shizuki, J...
ISTA
2003
15 years 3 months ago
Querying Tourism Information Systems in Natural Language
: With the increasing amount of information available on the Internet one of the most challenging tasks is to provide search interfaces that are easy to use without having to learn...
Helmut Berger, Michael Dittenbach, Dieter Merkl