Result 1 to 20 of 2574 total
Adaptive flocking with a virtual leader of multiple agents governed by locally Lipschitz nonlinearity. (English)
Nonlinear Anal., Real World Appl. 14, No. 1, 798-806 (2013).
1
System-level validation. High-level modeling and directed test generation techniques. (English)
New York, NY: Springer (ISBN 978-1-4614-1358-5/hbk; 978-1-4614-1359-2/ebook). xxi, 247~p. EUR~89.95/net; SFR~120.00; \sterling~81.00/hbk (2013).
2
The disjunctivity of primitive languages. (English)
J. Discrete Math. Sci. Cryptography 15, No. 1, 1-12 (2012).
3
Optimal scheduling of random works with reliability application. (English)
Asia-Pac. J. Oper. Res. 29, No. 5, Article ID 1250027, 14 p. (2012).
4
Solving quadratic equations with XL on parallel architectures. (English)
Prouff, Emmanuel (ed.) et al., Cryptographic hardware and embedded systems - CHES 2012. 14th international workshop, Leuven, Belgium, September 9‒12, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33026-1/pbk). Lecture Notes in Computer Science 7428, 356-373 (2012).
5
Smoothing methods for nonsmooth, nonconvex minimization. (English)
Math. Program. 134, No. 1 (B), 71-99 (2012).
6
A model for bus crew scheduling problem with multiple duty types. (English)
Discrete Dyn. Nat. Soc. 2012, Article ID 649213, 11 p. (2012).
7
Investigating aesthetic features to model human preference in evolutionary art. (English)
Machado, Penousal (ed.) et al., Evolutionary and biologically inspired music, sound, art and design. First international conference, EvoMUSART 2012, Málaga, Spain, April 11‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29141-8/pbk). Lecture Notes in Computer Science 7247, 153-164 (2012).
8
An improved shuffled frog-leaping algorithm with extremal optimisation for continuous optimisation. (English)
Inf. Sci. 192, 143-151 (2012).
9
Prefix-primitive annihilators of languages under some operations. (English)
Acta Inf. 49, No. 5, 281-293 (2012).
10
Least squares quasi-developable mesh approximation. (English)
Comput. Aided Geom. Des. 29, No. 7, 565-578 (2012).
11
A generalized bi-criteria fuzzy integer flow sharing problem. (English)
Int. J. Approx. Reasoning 53, No. 4, 480-492 (2012).
12
Batch scheduling problem with due-date and fuzzy precedence relation. (English)
Kybernetika 48, No. 2, 346-356 (2012).
13
Enhancement of information seeking using an information needs radar model. (English)
Inf. Process. Manage. 48, No. 3, 524-536 (2012).
14
Labeling planar graphs without 4,5-cycles with a condition on distance two. (English)
SIAM J. Discrete Math. 26, No. 1, 52-64 (2012).
15
Significant node identification in social networks. (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, 459-470 (2012).
16
Contourlet HMT model with directional feature. (English)
Sci. China, Inf. Sci. 55, No. 7, 1563-1578 (2012).
17
Efficient video cutout based on adaptive multilevel banded method. (English)
Sci. China, Inf. Sci. 55, No. 5, 1082-1092 (2012).
18
An improved approach to the efficient construction of and search operations in motion graphs. (English)
Sci. China, Inf. Sci. 55, No. 5, 1042-1051 (2012).
19
Hierarchical CPU utilization control for real-time guarantees in power grid computing. (English)
Real-Time Syst. 48, No. 2, 198-221 (2012).
20
Result 1 to 20 of 2574 total
Start
Contact
Print
General Help
