Sciweavers

777 search results - page 44 / 156
» presence 2010
Sort
View
CIAC
2010
Springer
194views Algorithms» more  CIAC 2010»
15 years 5 months ago
An Algorithmic Framework for Motif Discovery Problems in Weighted Sequences
A weighted sequence is a string in which a set of characters may appear at each position with respective probabilities of occurrence. A common task is to locate a given motif in a ...
Hui Zhang, Qing Guo, Costas S. Iliopoulos
GLVLSI
2010
IEEE
178views VLSI» more  GLVLSI 2010»
15 years 5 months ago
Improving the testability and reliability of sequential circuits with invariant logic
In this paper, we investigate dual applications for logic implications, which can provide both online error detection capabilities and improve the testing efficiency of an integr...
Nuno Alves, Kundan Nepal, Jennifer Dworak, R. Iris...
EUROCRYPT
2010
Springer
15 years 5 months ago
Computational Soundness, Co-induction, and Encryption Cycles
We analyze the relation between induction, co-induction and the presence of encryption cycles in the context of computationally sound symbolic equivalence of cryptographic express...
Daniele Micciancio
ITS
2010
Springer
165views Multimedia» more  ITS 2010»
15 years 5 months ago
Metacognition and Learning in Spoken Dialogue Computer Tutoring
We investigate whether four metacognitive metrics derived from student correctness and uncertainty values are predictive of student learning in a fully automated spoken dialogue co...
Katherine Forbes-Riley, Diane J. Litman
ICPR
2010
IEEE
15 years 4 months ago
A Robust Iris Localization Method Using an Active Contour Model and Hough Transform
Iris segmentation is one of the crucial steps in building an iris recognition system since it affects the accuracy of the iris matching significantly. This segmentation should acc...
Jaehan Koh, Venu Govindaraju, Vipin Chaudhary