Sciweavers

10435 search results - page 42 / 2087
» Measuring system normality
Sort
View
ASIAN
2006
Springer
133views Algorithms» more  ASIAN 2006»
14 years 15 days ago
Normal Proofs in Intruder Theories
Given an arbitrary intruder deduction capability, modeled as an inference system S and a protocol, we show how to compute an inference system bS such that the security problem for ...
Vincent Bernat, Hubert Comon-Lundh
SPIRE
2005
Springer
14 years 2 months ago
Retrieval Status Values in Information Retrieval Evaluation
Retrieval systems rank documents according to their retrieval status values (RSV) if these are monotonously increasing with the probability of relevance of documents. In this work,...
Amélie Imafouo, Xavier Tannier
IPPS
2003
IEEE
14 years 2 months ago
An Approach to Heterogeneous Process State Capture/Recovery to Achieve Minimum Performance Overhead During Normal Execution
A major issue of process state capture in heterogeneous computing systems is capture initiation. Current approaches incur significant performance overhead during normal execution ...
Prashanth P. Bungale, Swaroop Sridhar, Vinay Krish...
BMCBI
2005
96views more  BMCBI 2005»
13 years 8 months ago
Overview of BioCreAtIvE task 1B: normalized gene lists
Background: Our goal in BioCreAtIve has been to assess the state of the art in text mining, with emphasis on applications that reflect real biological applications, e.g., the cura...
Lynette Hirschman, Marc E. Colosimo, Alexander A. ...
PR
2006
145views more  PR 2006»
13 years 8 months ago
Gait recognition using linear time normalization
We present a novel system for gait recognition. Identity recognition and verification are based on the matching of linearly timenormalized gait walking cycles. A novel feature ext...
Nikolaos V. Boulgouris, Konstantinos N. Platanioti...