Result 1 to 20 of 1311 total
SeVe: automatic tool for verification of security protocols. (English)
Front. Comput. Sci. 6, No. 1, 57-75 (2012).
1
Unrelated parallel-machine scheduling with aging effects and multi-maintenance activities. (English)
Comput. Oper. Res. 39, No. 7, 1458-1464 (2012).
2
Improved BDD-based discrete analysis of timed systems. (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, 326-340 (2012).
3
Compressed sensing and Cholesky decomposition on FPGAs and GPUs. (English)
Parallel Comput. 38, No. 8, 421-437 (2012).
4
A clustering algorithm based on energy information and cluster heads expectation for wireless sensor networks. (English)
Comput. Electr. Eng. 38, No. 3, 662-671 (2012).
5
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).
6
Autonomous knowledge-oriented clustering using decision-theoretic rough set theory. (English)
Fundam. Inform. 115, No. 2-3, 141-156 (2012).
7
Quantitative measurement for pathological change of pulley tissue from microscopic images via color-based segmentation. (English)
Pan, Jeng-Shyang (ed.) et al., Intelligent information and database systems. 4th Asian conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19‒21, 2012. Proceedings, Part III. Berlin: Springer (ISBN 978-3-642-28492-2/pbk). Lecture Notes in Computer Science 7198. Lecture Notes in Artificial Intelligence, 476-485 (2012).
8
Complexity of the soundness problem of bounded workflow nets. (English)
Haddad, Serge (ed.) et al., Application and theory of Petri nets. 33rd international conference, PETRI NETS 2012, Hamburg, Germany, June 25‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31130-7/pbk). Lecture Notes in Computer Science 7347, 92-107 (2012).
9
A model checker for hierarchical probabilistic real-time systems. (English)
Madhusudan, P. (ed.) et al., Computer aided verification. 24th international conference, CAV 2012, Berkeley, CA, USA, July 7‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31423-0/pbk). Lecture Notes in Computer Science 7358, 705-711 (2012).
10
Production yield measure for multiple characteristics processes based on $S^T_{pk}$ under multiple samples. (English)
CEJOR, Cent. Eur. J. Oper. Res. 20, No. 1, 65-85 (2012).
11
A short note on “Proportionate flowshops with general position-dependent processing times”. (English)
Inf. Process. Lett. 112, No. 12, 479-480 (2012).
12
On the orientable regular embeddings of complete multipartite graphs. (English)
Eur. J. Comb. 33, No. 6, 1303-1312 (2012).
13
Worst-case and numerical analysis of heuristic algorithms for flowshop scheduling problems with a time-dependent learning effect. (English)
Inf. Sci. 184, No. 1, 282-297 (2012).
14
Compact and low delay routing labeling scheme for unit disk graphs. (English)
Comput. Geom. 45, No. 7, 305-325 (2012).
15
A combinatorial proof of Guo’s multi-generalization of Munarini’s identity. (English)
Integers 12, No. 1, 53-56 (2012).
16
Adapted game colouring of graphs. (English)
Eur. J. Comb. 33, No. 4, 435-445 (2012).
17
Coloring games on squares of graphs. (English)
Discrete Math. 312, No. 8, 1400-1406 (2012).
18
Unrelated parallel-machine scheduling with aging effects and multi-maintenance activities (English)
Computers & OR 39, No. 7, 1458-1464 (2012).
19
Cell transmission models under different patterns of road traffic state. (Chinese)
J. Tongji Univ., Nat. Sci. 39, No. 10, 1473-1478 (2011).
20
Result 1 to 20 of 1311 total
Start
Contact
Print
General Help
