Sciweavers

2257 search results - page 30 / 452
» Information accountability
Sort
View
TPHOL
2000
IEEE
15 years 1 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...
AVI
2004
14 years 11 months ago
The challenge of information visualization evaluation
As the field of information visualization matures, the tools and ideas described in our research publications are reaching users. The reports of usability studies and controlled e...
Catherine Plaisant
ACL
2001
14 years 11 months ago
Processing Broadcast Audio for Information Access
This paper addresses recent progress in speaker-independent, large vocabulary, continuous speech recognition, which has opened up a wide range of near and mid-term applications. O...
Jean-Luc Gauvain, Lori Lamel, Gilles Adda, Martine...
NAACL
2010
14 years 7 months ago
Visual Information in Semantic Representation
The question of how meaning might be acquired by young children and represented by adult speakers of a language is one of the most debated topics in cognitive science. Existing se...
Yansong Feng, Mirella Lapata
HICSS
2009
IEEE
130views Biometrics» more  HICSS 2009»
15 years 4 months ago
Interorganizational Governance of Information Technology
This study aims at better understanding how information technology (IT) governance supports organizations in their business exchanges with other organizations. Its main objective ...
Anne-Marie Croteau, François Bergeron