Result 1 to 20 of 2384 total
Optimal control of a partially observable failing system with costly multivariate observations. (English)
Stoch. Models 28, No. 4, 584-608 (2012).
1
MIP models and hybrid algorithm for minimizing the makespan of parallel machines scheduling problem with a single server. (English)
Comput. Oper. Res. 39, No. 11, 2457-2468 (2012).
2
Specification-based test repair using a lightweight formal method. (English)
Giannakopoulou, Dimitra (ed.) et al., FM 2012: Formal methods. 18th international symposium, Paris, France, August 27‒31, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32758-2/pbk). Lecture Notes in Computer Science 7436, 455-470 (2012).
3
QoS-aware dynamic MAP selection schemes in HMIPv6 networks. (English)
J. Parallel Distrib. Comput. 72, No. 7, 838-855 (2012).
4
Asynchronous event handling and safety critical Java. (English)
Concurrency Comput. Pract. Exp. 24, No. 8, 813-832 (2012).
5
Scout: a source-to-source transformator for SIMD-optimizations. (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, 137-145 (2012).
6
Evolutionary operator self-adaptation with diverse operators. (English)
Moraglio, Alberto (ed.) et al., Genetic programming. 15th European conference, EuroGP 2012, Málaga, Spain, April 11‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29138-8/pbk). Lecture Notes in Computer Science 7244, 230-241 (2012).
7
Improving the accuracy of histograms for geographic data objects. (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 I. Berlin: Springer (ISBN 978-3-642-29037-4/pbk). Lecture Notes in Computer Science 7238, 3-17 (2012).
8
Robust speaker identification using ensembles of kernel principal component analysis. (English)
Corchado, Emilio (ed.) et al., Hybrid artificial intelligent systems. 7th international conference, HAIS 2012, Salamanca, Spain, March 28‒30, 2012. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-28941-5/pbk). Lecture Notes in Computer Science 7208. Lecture Notes in Artificial Intelligence, 71-78 (2012).
9
Efficient offset trimming for planar rational curves using biarc trees. (English)
Comput. Aided Geom. Des. 29, No. 7, 555-564 (2012).
10
Volumetric Boolean sum. (English)
Comput. Aided Geom. Des. 29, No. 7, 532-540 (2012).
11
A socio-technical approach to knowledge contribution behavior: an empirical investigation of social networking sites users. (English)
Int. J. Inf. Manag. 32, No. 2, 118-126 (2012).
12
Multiplicative attribute graph model of real-world networks. (English)
Internet Math. 8, No. 1-2, 113-160 (2012).
13
Mutual private set intersection with linear complexity. (English)
Jung, Souhwan (ed.) et al., Information security applications. 12th international workshop, WISA 2011, Jeju Island, Korea, August 22‒24, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-27889-1/pbk). Lecture Notes in Computer Science 7115, 219-231 (2012).
14
A new weighted correlation coefficient method to evaluate reconstructed brain electrical sources. (English)
J. Appl. Math. 2012, Article ID 251295, 11 p. (2012).
15
An analytic network process approach to operationalization of five forces model. (English)
Appl. Math. Modelling 36, No. 4, 1783-1795 (2012).
16
A parallel and distributed meta-heuristic framework based on partially ordered knowledge sharing. (English)
J. Parallel Distrib. Comput. 72, No. 4, 564-578 (2012).
17
Accelerating Pollard’s rho algorithm on finite fields. (English)
J. Cryptology 25, No. 2, 195-242 (2012).
18
A distributed logic for networked cyber-physical systems. (English)
Arbab, Farhad (ed.) et al., Fundamentals of software engineering. 4th IPM international conference, FSEN 2011, Tehran, Iran, April 20‒22, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29319-1/pbk). Lecture Notes in Computer Science 7141, 190-205 (2012).
19
Dual-priced modal transition systems with time durations. (English)
Bjørner, Nikolaj (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 18th international conference, LPAR-18, Mérida, Venezuela, March 11‒15, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28716-9/pbk). Lecture Notes in Computer Science 7180, 122-137 (2012).
20
Result 1 to 20 of 2384 total
Start
Contact
Print
General Help
