Result 1 to 20 of 2785 total
Recursive operation time maximization model for the maintenance of power generation equipment. (English)
Comput. Oper. Res. 39, No. 5, 1117-1121 (2012).
1
Pose estimation for 3D workpiece grasping in industrial environment based on evolutionary algorithm. (English)
J. Intell. Robot. Syst. 68, No. 3-4, 293-306 (2012).
2
Multiobjective dynamic multi-swarm particle swarm optimization for environmental/economic dispatch problem. (English)
Huang, De-Shuang (ed.) et al., Intelligent computing technology. 8th international conference, ICIC 2012, Huangshan, China, July 25‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31587-9/pbk). Lecture Notes in Computer Science 7389, 657-664 (2012).
3
Enabling data and compute intensive workflows in bioinformatics. (English)
Alexander, Michael (ed.) et al., Euro-Par 2011: Parallel processing workshops. CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29‒September 2, 2011. Revised selected papers, Part II. Berlin: Springer (ISBN 978-3-642-29739-7/pbk). Lecture Notes in Computer Science 7156, 23-32 (2012).
4
Feature based informative model for discriminating favorite items from unrated ones. (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, 146-157 (2012).
5
An enhanced flow analysis technique for detecting unreachability faults in concurrent systems. (English)
Inf. Sci. 194, 254-269 (2012).
6
Multi-image encryption by circular random grids. (English)
Inf. Sci. 189, 255-265 (2012).
7
Model checking stochastic branching processes. (English)
Rovan, Branislav (ed.) et al., Mathematical foundations of computer science 2012. 37th international symposium, MFCS 2012, Bratislava, Slovakia, August 27‒31, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32588-5/pbk). Lecture Notes in Computer Science 7464, 271-282 (2012).
8
Playing stochastic games precisely. (English)
Koutny, Maciej (ed.) et al., CONCUR 2012 ‒ concurrency theory. 23rd international conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4‒7, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32939-5/pbk). Lecture Notes in Computer Science 7454, 348-363 (2012).
9
Specifying stateful asynchronous properties for distributed programs. (English)
Koutny, Maciej (ed.) et al., CONCUR 2012 ‒ concurrency theory. 23rd international conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4‒7, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32939-5/pbk). Lecture Notes in Computer Science 7454, 209-224 (2012).
10
Asynchronous distributed monitoring for multiparty session enforcement. (English)
Bruni, Roberto (ed.) et al., Trustworthy global computing. 6th international symposium, TGC 2011, Aachen, Germany, June 9‒10, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-30064-6/pbk). Lecture Notes in Computer Science 7173, 25-45 (2012).
11
Connectivity preservation for multi-agent rendezvous with link failure. (English)
Automatica 48, No. 1, 25-35 (2012).
12
Segmentation of liver tumor using efficient global optimal tree metrics graph cuts. (English)
Yoshida, Hiroyuki (ed.) et al., Abdominal imaging. Computational and clinical applications. Third international workshop, held in conjunction with MICCAI 2011, Toronto, ON, Canada, September 18, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28556-1/pbk). Lecture Notes in Computer Science 7029, 51-59 (2012).
13
Discovery of regularities in the use of herbs in traditional Chinese medicine prescriptions. (English)
Cao, Longbing (ed.) et al., New frontiers in applied data mining. PAKDD 2011 international workshops, Shenzhen, China, May 24‒27, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28319-2/pbk). Lecture Notes in Computer Science 7104. Lecture Notes in Artificial Intelligence, 353-360 (2012).
14
Simplifying multiproject scheduling problem based on design structure matrix and its solution by an improved aiNet algorithm. (English)
Discrete Dyn. Nat. Soc. 2012, Article ID 713740, 22 p. (2012).
15
Automatic verification of competitive stochastic systems. (English)
Flanagan, Cormac (ed.) et al., Tools and algorithms for the construction and analysis of systems. 18th international conference, TACAS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24‒April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28755-8/pbk). Lecture Notes in Computer Science 7214, 315-330 (2012).
16
A large population size can be unhelpful in evolutionary algorithms. (English)
Theor. Comput. Sci. 436, 54-70 (2012).
17
A compositional specification theory for component behaviours. (English)
Seidl, Helmut (ed.), Programming languages and systems. 21st European symposium on programming, ESOP 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24‒April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28868-5/pbk). Lecture Notes in Computer Science 7211, 148-168 (2012).
18
Predicting disease onset from mutation status using proband and relative data with applications to Huntington’s disease. (English)
J. Probab. Stat. 2012, Article ID 375935, 19 p. (2012).
19
Model-based multidimensional clustering of categorical data. (English)
Artif. Intell. 176, No. 1, 2246-2269 (2012).
20
Result 1 to 20 of 2785 total
Start
Contact
Print
General Help
