Result 1 to 20 of 972 total
Kripke semantics and proof systems for combining intuitionistic logic and classical logic. (English)
Ann. Pure Appl. Logic 164, No. 2, 86-111 (2013).
1
Self-organizing map for symbolic data. (English)
Fuzzy Sets Syst. 203, 49-73 (2012).
2
Learning very fast decision tree from uncertain data streams with positive and unlabeled samples. (English)
Inf. Sci. 213, 50-67 (2012).
3
Distance coloring and distance edge-coloring of $d$-dimensional lattice. (English)
Huang, De-Shuang (ed.) et al., Intelligent computing theories and applications. 8th international conference, ICIC 2012, Huangshan, China, July 25‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31575-6/pbk). Lecture Notes in Computer Science 7390. Lecture Notes in Artificial Intelligence, 561-568 (2012).
4
The English unknown term translation mining with improved bilingual snippets collection strategy. (English)
Huang, De-Shuang (ed.) et al., Intelligent computing theories and applications. 8th international conference, ICIC 2012, Huangshan, China, July 25‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31575-6/pbk). Lecture Notes in Computer Science 7390. Lecture Notes in Artificial Intelligence, 409-416 (2012).
5
Personalized information encryption using ECG signals with chaotic functions. (English)
Inf. Sci. 193, 125-140 (2012).
6
Hierarchically clustered P2P video streaming: design, implementation, and evaluation. (English)
Comput. Netw. 56, No. 15, 3432-3445 (2012).
7
Learning by expansion: exploiting social media for image classification with few training examples. (English)
Neurocomputing 95, 117-125 (2012).
8
A three-phase method for patent classification. (English)
Inf. Process. Manage. 48, No. 6, 1017-1030 (2012).
9
A note on the eigenvalue analysis of the SIMPLE preconditioning for incompressible flow. (English)
J. Appl. Math. 2012, Article ID 564132, 7 p. (2012).
10
Distributed coverage-enhancing algorithms in directional sensor networks with rotatable sensors. (English)
Bononi, Luciano (ed.) et al., Distributed computing and networking. 13th international conference, ICDCN 2012, Hong Kong, China, January 3‒6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-25958-6/pbk). Lecture Notes in Computer Science 7129, 201-213 (2012).
11
Effects of multi-symbols on enhancing virtual reality based collaborative task. (English)
Pan, Zhigeng (ed.) et al., Transactions on Edutainment VIII. Berlin: Springer (ISBN 978-3-642-31438-4/pbk). Lecture Notes in Computer Science 7220. Journal Subline, 101-111 (2012).
12
Risk-aware role-based access control. (English)
Meadows, Catherine (ed.) et al., Security and trust management. 7th international workshop, STM 2011, Copenhagen, Denmark, June 27‒28, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29962-9/pbk). Lecture Notes in Computer Science 7170, 140-156 (2012).
13
An improved heuristic for parallel machine weighted flowtime scheduling with family set-up times. (English)
Comput. Math. Appl. 63, No. 1, 110-117 (2012).
14
Online system for grid resource monitoring and machine learning-based prediction (English)
IEEE Trans. Parallel Distrib. Syst. 23, No. 1, 134-145 (2012).
15
Modeling and control of discrete event systems using finite state machines with variables and their applications in power grids (English)
Systems & Control Letters 61, No. 1, 212-222 (2012).
16
Secure batch steganographic model without carrying secret information. (Chinese)
J. Comput. Appl. 31, No. 8, 2162-2164 (2011).
17
Group argumentation model based on IBIS and Toulmin’s argument schema. (Chinese)
J. Comput. Appl. 31, No. 9, 2526-2529 (2011).
18
Color image watermarking based on human visual system and discrete wavelet transform. (Chinese)
J. Comput. Appl. 31, No. 11, 3056-3059 (2011).
19
Method for drawing double-track high-speed maglev train diagram based on knitting algorithm. (Chinese)
J. Comput. Appl. 31, No. 12, 3434-3437 (2011).
20
Result 1 to 20 of 972 total
Start
Contact
Print
General Help
