Result 1 to 20 of 648 total
Improving recommendation based on features’ co-occurrence effects in collaborative tagging systems. (English)
Sheng, Quan Z. (ed.) et al., Web technologies and applications. 14th Asia-Pacific web conference, APWeb 2012, Kunming, China, April 11‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29252-1/pbk). Lecture Notes in Computer Science 7235, 652-659 (2012).
1
A main memory based spatial DBMS: Kairos. (English)
Lee, Sang-goo (ed.) et al., Database systems for advanced applications. 17th international conference, DASFAA 2012, Busan, South Korea, April 15‒19, 2012. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-29034-3/pbk). Lecture Notes in Computer Science 7239, 234-242 (2012).
2
Transitive separation logic. (English)
Kahl, Wolfram (ed.) et al., Relational and algebraic methods in computer science. 13th international conference, RAMiCS 2012, Cambridge, UK, September 17‒20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33313-2/pbk). Lecture Notes in Computer Science 7560, 1-16 (2012).
3
Reverse exchange for concurrency and local reasoning. (English)
Gibbons, Jeremy (ed.) et al., Mathematics of program construction. 11th international conference, MPC 2012, Madrid, Spain, June 25‒27, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31112-3/pbk). Lecture Notes in Computer Science 7342, 177-197 (2012).
4
Variable structure multiple model for articulated human motion tracking from monocular video sequences. (English)
Sci. China, Inf. Sci. 55, No. 5, 1138-1150 (2012).
5
A multi-objective hybrid discrete harmony search algorithm for lot-streaming flow shop scheduling problem. (English)
Huang, De-Shuang (ed.) et al., Advanced intelligent computing theories and applications. With aspects of artificial intelligence. 7th international conference, ICIC 2011, Zhengzhou, China, August 11‒14, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-25943-2/pbk). Lecture Notes in Computer Science 6839. Lecture Notes in Artificial Intelligence, 66-73 (2012).
6
Minimizing the total flow time for lot streaming flow shop using an effective discrete harmony search algorithm. (English)
Huang, De-Shuang (ed.) et al., Advanced intelligent computing theories and applications. With aspects of artificial intelligence. 7th international conference, ICIC 2011, Zhengzhou, China, August 11‒14, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-25943-2/pbk). Lecture Notes in Computer Science 6839. Lecture Notes in Artificial Intelligence, 32-40 (2012).
7
Weak quasi-randomness for uniform hypergraphs. (English)
Random Struct. Algorithms 40, No. 1, 1-38 (2012).
8
Weak quasi-randomness for uniform hypergraphs (English)
Random Struct. Algorithms 40, No. 1, 1-38 (2012).
9
Efficient and self-adaptive storage schema in flash-based database system. (Chinese)
J. Comput. Appl. 31, No. 5, 1400-1403 (2011).
10
Parameter optimization of support vector machine and application based on particle swarm optimization mode search. (Chinese)
J. Comput. Appl. 31, No. 12, 3302-3304 (2011).
11
An evolutionary particle filter with the immune genetic algorithm for intelligent video target tracking. (English)
Comput. Math. Appl. 62, No. 7, 2685-2695 (2011).
12
Design and application of the augmented reality with digital museum and digital heritage. (English)
Chang, Maiga (ed.) et al., Edutainment technologies. Educational games and virtual reality/augmented reality applications. 6th international conference on e-learning and games, Edutainment 2011, Taipei, Taiwan, September 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23455-2/pbk). Lecture Notes in Computer Science 6872, 25-26 (2011).
13
Research on fault detection system of marine reefer containers based on OC-SVM. (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, 392-397 (2011).
14
Variable side conditions and greatest relations in algebraic separation logic. (English)
de Swart, Harrie (ed.), Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 ‒ June 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21069-3/pbk). Lecture Notes in Computer Science 6663, 125-140 (2011).
15
Competition indices of strongly connected digraphs. (English)
Bull. Korean Math. Soc. 48, No. 3, 637-646 (2011).
16
Biased model checking using flows. (English)
Abdulla, Parosh Aziz (ed.) et al., Tools and algorithms for the construction and analysis of systems. 17th international conference, TACAS 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 ‒ April 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19834-2/pbk). Lecture Notes in Computer Science 6605, 239-253 (2011).
17
Adaptive dissolved oxygen control based on dynamic structure neural network. (English)
Appl. Soft. Comput. 11, No. 4, 3812-3820 (2011).
18
Misleading malware similarities analysis by automatic data structure obfuscation. (English)
Burmester, Mike (ed.) et al., Information security. 13th international conference, ISC 2010, Boca Raton, FL, USA, October 25‒28, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-18177-1/pbk). Lecture Notes in Computer Science 6531, 181-195 (2011).
19
Advances in integrated vehicle health monitoring systems (English)
iJIM 5, No. 3, 32-37 (2011).
20
Result 1 to 20 of 648 total
Start
Contact
Print
General Help
