Sciweavers

12101 search results - page 329 / 2421
» Mutual Information Analysis
Sort
View
TPHOL
2000
IEEE
15 years 11 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...
CICLING
2004
Springer
15 years 10 months ago
Korean Compound Noun Decomposition Using Syllabic Information Only
The compound nouns are freely composed in Korean, since it is possible to concatenate independent nouns without a postposition. Therefore, the systems that handle compound nouns su...
Seong-Bae Park, Jeong Ho Chang, Byoung-Tak Zhang
CLEF
2006
Springer
15 years 10 months ago
A Study on the Use of Stemming for Monolingual Ad-Hoc Portuguese Information Retrieval
For UFRGS's first participation in CLEF our goal was to compare the performance of heavier and lighter stemming strategies using the Portuguese data collections for monolingua...
Viviane Moreira Orengo, Luciana S. Buriol, Alexand...
MASCOTS
2008
15 years 8 months ago
Evaluating the Effectiveness of Information Extraction in Real-World Storage Management
As storage deployments within enterprises continue to grow, there is an increasing need to simplify and automate. Existing tools for automation rely on extracting information in t...
Aameek Singh, Sandeep Uttamchandani, Yin Wang
CADUI
2006
15 years 8 months ago
Remote Web Usability Evaluation Exploiting Multimodal Information On User Behavior
Abstract In this paper we describe MultiModal WebRemUsine, a tool for remote usability evaluation of Web sites that considers data regarding the user behaviour coming from multiple...
Fabio Paternò, Angela Piruzza, Carmen Santo...