Sciweavers

1518 search results - page 236 / 304
» Cryptographic Test Correction
Sort
View
102
Voted
CORR
2010
Springer
143views Education» more  CORR 2010»
15 years 21 days 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
91
Voted
DKE
2010
112views more  DKE 2010»
15 years 21 days 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
110
Voted
BMCBI
2006
181views more  BMCBI 2006»
15 years 20 days 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...
105
Voted
CII
2006
324views more  CII 2006»
15 years 20 days 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
ENTCS
2006
90views more  ENTCS 2006»
15 years 19 days 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. ...