Sciweavers

1186 search results - page 104 / 238
» Progressive Modeling
Sort
View
JCS
2010
121views more  JCS 2010»
13 years 8 months ago
Computational soundness of symbolic zero-knowledge proofs
raction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently significa...
Michael Backes, Dominique Unruh
PG
2002
IEEE
14 years 3 months ago
On-Line Graphics Recognition
A novel and fast shape classification and regularization algorithm for on-line sketchy graphics recognition is proposed. We divided the on-line graphics recognition process into f...
Xiangyu Jin, Liu Wenyin, Jianyong Sun, Zhengxing S...
ISBI
2006
IEEE
14 years 10 months ago
Assessing the accuracy of non-rigid registration with and without ground truth
We compare two methods for assessing the performance of groupwise non-rigid registration algorithms. One approach, which has been described previously, utilizes a measure of overl...
Roy Schestowitz, Carole J. Twining, Timothy F. Coo...
HICSS
2006
IEEE
123views Biometrics» more  HICSS 2006»
14 years 4 months ago
Systems Design, Process Performance and Economic Outcomes
IT value remains a serious concern of management today, especially how it should be measured and how it is created. Although we have made significant progress at the firm and aggre...
Prabu Davamanirajan, Robert J. Kauffman, Charles H...
ECAI
2004
Springer
14 years 3 months ago
Learning Complex and Sparse Events in Long Sequences
The Hierarchical Hidden Markov Model (HHMM) is a well formalized tool suitable to model complex patterns in long temporal or spatial sequences. Even if effective algorithms are ava...
Marco Botta, Ugo Galassi, Attilio Giordana