Result 1 to 20 of 342 total
Non-delegatable strong designated verifier signature on elliptic curves. (English)
Kim, Howon (ed.), Information security and cryptology ‒ ICISC 2011. 14th international conference, Seoul, Korea, November 30‒December 2, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-31911-2/pbk). Lecture Notes in Computer Science 7259, 219-234 (2012).
1
Normalized cut segmentation of thyroid tumor image based on fractional derivatives. (English)
He, Jing (ed.) et al., Health information science. First international conference, HIS 2012, Beijing, China, April 8-10, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29360-3/pbk). Lecture Notes in Computer Science 7231, 100-109 (2012).
2
A dynamic row/column management algorithm for freight train scheduling. (English)
Delling, Daniel (ed.) et al., 12th workshop on algorithmic approaches for transportation modelling, optimization, and systems, ATMOS’12, September 13, 2012, Ljubljana, Slovenia. Selected papers based on the presentations at the workshop. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-45-3). OASIcs ‒ OpenAccess Series in Informatics 25, 108-119, electronic only (2012).
3
A dynamic row/column management algorithm for freight train scheduling. (English)
Simões, Alberto (ed.) et al., 1st symposium on languages, applications and technologies, SLATE’12, June 21‒22, 2012, Braga, Portugal. Proceedings. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-40-8). OASIcs ‒ OpenAccess Series in Informatics 21, 108-119, electronic only (2012).
4
Behaviour-based cheat detection in multiplayer games with Event-B. (English)
Derrick, John (ed.) et al., Integrated formal methods. 9th international conference, IFM 2012, Pisa, Italy, June 18‒21, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30728-7/pbk). Lecture Notes in Computer Science 7321, 206-220 (2012).
5
A short non-delegatable strong designated verifier signature. (English)
Susilo, Willy (ed.) et al., Information security and privacy. 17th Australasian conference, ACISP 2012, Wollongong, NSW, Australia, July 9‒11, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31447-6/pbk). Lecture Notes in Computer Science 7372, 261-279 (2012).
6
Effective reconstruction of data perturbed by random projections (English)
IEEE Trans. Computers 61, No. 1, 101-117 (2012).
7
Nonlinear decentralized repetitive control for global asymptotic tracking of robot manipulators. (Chinese)
Acta Autom. Sin. 37, No. 10, 1264-1271 (2011).
8
Learning based visibility measuring with images. (English)
Lu, Bao-Liang (ed.) et al., Neural information processing. 18th international conference, ICONIP 2011, Shanghai, China, November 13‒17, 2011. Proceedings, Part III. Berlin: Springer (ISBN 978-3-642-24964-8/pbk). Lecture Notes in Computer Science 7064, 711-718 (2011).
9
Verification of orchestration systems using compositional partial order reduction. (English)
Qin, Shengchao (ed.) et al., Formal methods and software engineering. 13th international conference on formal engineering methods, ICFEM 2011, Durham, UK, October 26‒28, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24558-9/pbk). Lecture Notes in Computer Science 6991, 98-114 (2011).
10
Performance comparison of convex programming in different scenarios. (English)
Lin, Song (ed.) et al., Advances in computer science, environment, ecoinformatics, and education. International conference, CSEE 2011, Wuhan, China, August 21‒22, 2011. Proceedings, Part V. Berlin: Springer (ISBN 978-3-642-23356-2/pbk; 978-3-642-23357-9/ebook). Communications in Computer and Information Science 218, 489-495 (2011).
11
On the edge-balance index sets of the network graph. (English)
Lin, Song (ed.) et al., Advances in computer science, environment, ecoinformatics, and education. International conference, CSEE 2011, Wuhan, China, August 21‒22, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-23323-4/pbk; 978-3-642-23324-1/ebook). Communications in Computer and Information Science 215, 367-372 (2011).
12
Analysis based on generalized regression neural network to oil atomic emission spectrum data of a type diesel engine. (English)
Lin, Song (ed.) et al., Advances in computer science, environment, ecoinformatics, and education. International conference, CSEE 2011, Wuhan, China, August 21‒22, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-23320-3/pbk; 978-3-642-23321-0/ebook). Communications in Computer and Information Science 214, 574-580 (2011).
13
Actin filament segmentation using dynamic programming. (English)
Székely, Gábor (ed.) et al., Information processing in medical imaging. 22nd international conference, IPMI 2011, Kloster Irsee, Germany, July 3‒8, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22091-3/pbk). Lecture Notes in Computer Science 6801, 411-423 (2011).
14
Identity-based trapdoor mercurial commitments and applications. (English)
Theor. Comput. Sci. 412, No. 39, 5498-5512 (2011).
15
Comments and improvements on key-exposure free chameleon hashing based on factoring. (English)
Lai, Xuejia (ed.) et al., Information security and cryptology. 6th international conference, Inscrypt 2010, Shanghai, China, October 20‒24, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-21517-9/pbk). Lecture Notes in Computer Science 6584, 415-426 (2011).
16
Classification of high-dimensional microarray data with a two-step procedure via a Wilcoxon criterion and multilayer perceptron. (English)
Int. J. Comput. Intell. Appl. 10, No. 1, 1-14 (2011).
17
Optimal design and implementation ofcalendar shopping system based on memcached. (CN)
J. Comput. Appl. 31, No. 3, 865-868 (2011).
18
License plate location based on quaternion specific color-pair edge detection. (CN)
J. Comput. Appl. 31, No. 3, 729-732 (2011).
19
Symmetric modified AOR method to solve systems of linear equations. (English)
J. Appl. Math. Comput. 36, No. 1-2, 41-59 (2011).
20
Result 1 to 20 of 342 total