Sciweavers

1791 search results - page 36 / 359
» Two Types of Multiple-Conclusion Systems
Sort
View
EMSOFT
2004
Springer
14 years 1 months ago
A metrics system for quantifying operational coupling in embedded computer control systems
One central issue in system structuring and quality prediction is the interdependencies of system modules. This paper proposes a novel technique for determining the operational co...
De-Jiu Chen, Martin Törngren
ICAIL
1999
ACM
13 years 12 months ago
Knowledge criteria for the evaluation of legal beliefs
In this paper, we describe an evaluation framework for legal information systems. The framework is based on knowledge criteria. We distinguish four belief types, viz. perceptual b...
Laurens Mommers, H. Jaap van den Herik
INFOCOM
2007
IEEE
14 years 1 months ago
Fundamental Complexity of Optical Systems
Abstract—It is often claimed that future systems will necessarily be all-optical, because electronic devices are not fast enough to keep up with the increase in fiber capacity. ...
Hadas Kogan, Isaac Keslassy
BMCBI
2008
149views more  BMCBI 2008»
13 years 7 months ago
Evolution of biological sequences implies an extreme value distribution of type I for both global and local pairwise alignment s
Background: Confidence in pairwise alignments of biological sequences, obtained by various methods such as Blast or Smith-Waterman, is critical for automatic analyses of genomic d...
Olivier Bastien, Eric Maréchal
ACL
2012
11 years 10 months ago
BIUTEE: A Modular Open-Source System for Recognizing Textual Entailment
This paper introduces BIUTEE1 , an opensource system for recognizing textual entailment. Its main advantages are its ability to utilize various types of knowledge resources, and i...
Asher Stern, Ido Dagan