Sciweavers

2180 search results - page 271 / 436
» A Framework of Evaluation for Question-Answering Systems
Sort
View
WADT
1998
Springer
15 years 11 months ago
Non-deterministic Computations in ELAN
Abstract. The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for ex...
Hélène Kirchner, Pierre-Etienne More...
FC
2007
Springer
147views Cryptology» more  FC 2007»
15 years 10 months ago
Certificate Revocation Using Fine Grained Certificate Space Partitioning
A new certificate revocation system is presented. The basic idea is to divide the certificate space into several partitions, the number of partitions being dependent on the PKI en...
Vipul Goyal
BMCBI
2008
93views more  BMCBI 2008»
15 years 6 months ago
Ranking single nucleotide polymorphisms by potential deleterious effects
Identifying single nucleotide polymorphisms (SNPs) that are responsible for common and complex diseases such as cancer is of major interest in current molecular epidemiology. Howe...
Phil Hyoun Lee, Hagit Shatkay
ER
2009
Springer
130views Database» more  ER 2009»
16 years 1 months ago
Designing Law-Compliant Software Requirements
New laws, such as HIPAA and SOX, are increasingly impacting the design of software systems, as business organisations strive to comply. This paper studies the problem of generating...
Alberto Siena, John Mylopoulos, Anna Perini, Angel...
IDA
2009
Springer
16 years 1 months ago
Selecting Computer Architectures by Means of Control-Flow-Graph Mining
Abstract Deciding which computer architecture provides the best performance for a certain program is an important problem in hardware design and benchmarking. While previous approa...
Frank Eichinger, Klemens Böhm