Sciweavers

2957 search results - page 330 / 592
» Processing Self Corrections
Sort
View
LPAR
2007
Springer
16 years 23 days ago
Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
Francien Dechesne, Mohammad Reza Mousavi, Simona O...
NLDB
2007
Springer
16 years 23 days ago
Applying Wikipedia's Multilingual Knowledge to Cross-Lingual Question Answering
The application of the multilingual knowledge encoded in Wikipedia to an open–domain Cross–Lingual Question Answering system based on the Inter Lingual Index (ILI) module of Eu...
Sergio Ferrández, Antonio Toral, Ósc...
WDAG
2007
Springer
128views Algorithms» more  WDAG 2007»
16 years 22 days ago
From Crash-Stop to Permanent Omission: Automatic Transformation and Weakest Failure Detectors
Abstract. This paper studies the impact of omission failures on asynchronous distributed systems with crash-stop failures. We provide two different transformations for algorithms,...
Carole Delporte-Gallet, Hugues Fauconnier, Felix C...
3DPVT
2006
IEEE
176views Visualization» more  3DPVT 2006»
16 years 21 days ago
Belief Propagation for Panorama Generation
We present an algorithm for generating panoramic images of complex scenes from a multi-sensor camera. We further present a programmable graphics hardware implementation to process...
Alan Brunton, Chang Shu
CBMS
2006
IEEE
16 years 21 days ago
Telederm: Enhancing Dermatological Diagnosis for Rural and Remote Communities
This paper describes techniques used in a Web-based decision support system to enhance dermatological diagnosis for rural and remote communities. We proposed a technique to improv...
Monica H. Ou, Geoff A. W. West, Mihai Lazarescu, C...