Sciweavers

1518 search results - page 124 / 304
» Cryptographic Test Correction
Sort
View
WSC
2007
15 years 6 months ago
Controlled sequential bifurcation for software reliability study
Computer simulation is an appealing approach for the reliability analysis of structure-based software systems as it can accommodate important complexities present in realistic sys...
Jun Xu, Feng Yang, Hong Wan
ACL
2008
15 years 5 months ago
Contradictions and Justifications: Extensions to the Textual Entailment Task
The third PASCAL Recognizing Textual Entailment Challenge (RTE-3) contained an optional task that extended the main entailment task by requiring a system to make three-way entailm...
Ellen M. Voorhees
127
Voted
LREC
2008
119views Education» more  LREC 2008»
15 years 5 months ago
Assessing the Costs of Machine-Assisted Corpus Annotation through a User Study
Fixed, limited budgets often constrain the amount of expert annotation that can go into the construction of annotated corpora. Estimating the cost of annotation is the first step ...
Eric K. Ringger, Marc Carmen, Robbie Haertel, Kevi...
CSREASAM
2006
15 years 5 months ago
Firewall Design: Understandable, Designable and Testable
Firewalls are the cornerstones of network security. To make firewalls working effectively, firewall manager must design firewall rules and the rule order correctly. In this paper, ...
Yan-ning Huang, Yong Jiang
ACL
1998
15 years 5 months ago
Automatic Construction of Frame Representations for Spontaneous Speech in Unrestricted Domains
This paper presents a system which automatically generates shallow semantic frame structures for conversational speech in unrestricted domains. We argue that such shallow semantic...
Klaus Zechner