Sciweavers

15375 search results - page 134 / 3075
» cans 2008
Sort
View
CSREASAM
2008
13 years 9 months ago
Design of an Automatic Password Protection Mechanism for Digital Documents
- Maintaining digital security and privacy are critical issues in the modern workplace. Sensitive and proprietary data is frequently transmitted electronically, and with the large ...
Shashank Kaushik, Thomas Way
JURIX
2008
13 years 9 months ago
More on Presumptions and Burdens of Proof
This paper extends our previous logical analysis of presumptions and burden of proof by studying the force of a presumption once counterevidence has been offered. In the jurisprude...
Henry Prakken, Giovanni Sartor
COLING
2000
13 years 9 months ago
WebDIPLOMAT: A Web-Based Interactive Machine Translation System
We have implenlented a.n interactive, Wel)-based, chat-style machine translation system, SUpl)ort;ing speech recognition and synthesis, local- or thirdparty correction of speech r...
Christopher Hogan, Robert E. Frederking
ENTCS
2008
113views more  ENTCS 2008»
13 years 8 months ago
A Model-Based Approach to the Verification and Adaptation of WF/.NET Components
This paper presents an approach which supports verification and model-based adaptation of software compod services implemented using Windows Workflow Foundation (WF). First, we pr...
Javier Cubo, Gwen Salaün, Carlos Canal, Ernes...
FSS
2008
124views more  FSS 2008»
13 years 8 months ago
Exact calculations of extended logical operations on fuzzy truth values
In this paper we propose computationally simple, pointwise formulas for extended t-norms and t-conorms on fuzzy truth values. The complex convolutions of the extended operations a...
Zsolt Gera, József Dombi