Sciweavers

1518 search results - page 236 / 304
» Cryptographic Test Correction
Sort
View
132
Voted
CORR
2010
Springer
143views Education» more  CORR 2010»
15 years 3 months ago
Algorithmic Detection of Computer Generated Text
ct Computer generated academic papers have been used to expose a lack of thorough human review at several computer science conferences. We assess the problem of classifying such do...
Allen Lavoie, Mukkai Krishnamoorthy
115
Voted
DKE
2010
112views more  DKE 2010»
15 years 3 months ago
An integer programming based approach for verification and diagnosis of workflows
Workflow analysis is indispensable to capture modeling errors in workflow designs. While several workflow analysis approaches have been defined previously, these approaches do not...
Rik Eshuis, Akhil Kumar
146
Voted
BMCBI
2006
181views more  BMCBI 2006»
15 years 3 months ago
Array2BIO: from microarray expression data to functional annotation of co-regulated genes
Background: There are several isolated tools for partial analysis of microarray expression data. To provide an integrative, easy-to-use and automated toolkit for the analysis of A...
Gabriela G. Loots, Patrick S. G. Chain, Shalini Ma...
132
Voted
CII
2006
324views more  CII 2006»
15 years 3 months ago
Computer aided parametric design for 3D tire mold production
This paper presents a parametric design system for 3D tire mold production. Tire grooves commonly used in the current industry are classified according to their modeling procedure...
Chih-Hsing Chu, Mu-Chi Song, Vincent C. S. Luo
132
Voted
ENTCS
2006
90views more  ENTCS 2006»
15 years 3 months ago
Runtime Verification for High-Confidence Systems: A Monte Carlo Approach
We present a new approach to runtime verification that utilizes classical statistical techniques such as Monte Carlo simulation, hypothesis testing, and confidence interval estima...
Sean Callanan, Radu Grosu, Abhishek Rai, Scott A. ...