Sciweavers

2392 search results - page 75 / 479
» informs 2000
Sort
View
CLEF
2000
Springer
15 years 3 months ago
Translation Resources, Merging Strategies, and Relevance Feedback for Cross-Language Information Retrieval
This paper describes the official runs of the Twenty-One group for the first CLEF workshop. The Twenty-One group participated in the monolingual, bilingual and multilingual tasks....
Djoerd Hiemstra, Wessel Kraaij, Renée Pohlm...
ISIWI
2000
15 years 11 days ago
INSYDER - Information Retrieval Aspects of a Business Intelligence System
This paper presents a visual information seeking system for the WWW called INSYDER1 . The aim of INSYDER is to find business information from the WWW. Information seeking - especi...
Gabriela Mußler, Harald Reiterer, Thomas M. ...
TPHOL
2000
IEEE
15 years 3 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...
WEBNET
2000
15 years 11 days ago
Organizing Information for the Canadian Design Engineering Network
: The author reports on a universal searchable index of Web resources for design engineering. The project is part of the Web site for the Canadian Design Engineering Network (CDEN)...
Filippo A. Salustri
JIIS
2000
75views more  JIIS 2000»
14 years 10 months ago
A Value-Driven System for Autonomous Information Gathering
This paper presents a system for autonomous information gathering in an information rich domain under time and monetary resource restrictions. The system gathers information using ...
Joshua Grass, Shlomo Zilberstein