Result 1 to 20 of 952 total
Perfect matchings and genus of some Cartesian products of graphs. (English)
Discrete Math. Algorithms Appl. 4, No. 2, 1250026,8p. (2012).
1
From turner’s logic of universal causation to the logic of GK. (English)
Erdem, Esra (ed.) et al., Correct reasoning. Essays on logic-based AI in honour of Vladimir Lifschitz. Berlin: Springer (ISBN 978-3-642-30742-3/pbk). Lecture Notes in Computer Science 7265, 380-385 (2012).
2
Energy-efficient network routing with discrete cost functions. (English)
Agrawal, Manindra (ed.) et al., Theory and applications of models of computation. 9th annual conference, TAMC 2012, Beijing, China, May 16‒21, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29951-3/pbk). Lecture Notes in Computer Science 7287, 307-318 (2012).
3
Ordered completion for first-order logic programs on finite structures. (English)
Artif. Intell. 177-179, 1-24 (2012).
4
BTTB preconditioners for BTTB systems. (English)
Numer. Algorithms 60, No. 1, 153-167 (2012).
5
Test coverage optimization for large code problems (English)
Journal of Systems and Software 85, No. 1, 16-27 (2012).
6
Design and realization of a framework for human-system interaction in smart homes (English)
IEEE Transactions on Systems, Man, and Cybernetics, Part A 42, No. 1, 15-31 (2012).
7
Modeling and control of discrete event systems using finite state machines with variables and their applications in power grids (English)
Systems & Control Letters 61, No. 1, 212-222 (2012).
8
Release of spatial information based on google maps API. (Chinese)
J. Comput. Appl. 31, No. 5, 1450-1452 (2011).
9
Applications of molecular-kinetic-theory-based clustering approach on gene expression data. (Chinese)
J. Comput. Appl. 31, No. 10, 2774-2777 (2011).
10
A hybrid differential evolution algorithm for fuzzy dependent-chance programming models. (Chinese)
Control Decis. 26, No. 9, 1358-1362 (2011).
11
Discovering theorems in game theory: two-person games with unique pure Nash equilibrium payoffs. (English)
Artif. Intell. 175, No. 14-15, 2010-2020 (2011).
12
Operations effecting Pfaffian property of graphs. (English)
J. Math. Study 44, No. 2, 148-159 (2011).
13
The notion of “meaning system" and its use for “semantic search". (English)
J. Comput. Model. 1, No. 2, 97-126 (2011).
14
Fast protocol recognition by network packet inspection. (English)
Lu, Bao-Liang (ed.) et al., Neural information processing. 18th international conference, ICONIP 2011, Shanghai, China, November 13‒17, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-24957-0/pbk). Lecture Notes in Computer Science 7063, 37-44 (2011).
15
Network defense strategies for maximization of network survivability. (English)
Mehrotra, Kishan G. (ed.) et al., Modern approaches in applied intelligence. 24th international conference on industrial engineering and other applications of applied intelligent systems, IEA/AIE 2011, Syracuse, NY, USA, June 28 ‒ July 1, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-21821-7/pbk). Lecture Notes in Computer Science 6703. Lecture Notes in Artificial Intelligence, 125-134 (2011).
16
Calculation of quantities of spare parts and the estimation of availability in the repaired as old models. (English)
Tan, Ying (ed.) et al., Advances in swarm intelligence. Second international conference, ICSI 2011, Chongqing, China, June 12‒15, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-21523-0/pbk). Lecture Notes in Computer Science 6729, 419-426 (2011).
17
Evaluation of network survivability considering degree of disconnectivity. (English)
Corchado, Emilio (ed.) et al., Hybrid artificial intelligent systems. 6th international conference, HAIS 2011, Wroclaw, Poland, May 23‒25, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-21218-5/pbk). Lecture Notes in Computer Science 6678. Lecture Notes in Artificial Intelligence, 51-58 (2011).
18
Parallel algorithm for computing coefficients of periodic B-spline basis functions. (Chinese)
J. Comput. Appl. 31, No. 7, 1800-1803 (2011).
19
Compiling causal theories to successor state axioms and STRIPS-like systems. (English)
Comput. Res. Repos. 2011, Article No. 1106.4867 (2011).
20
Result 1 to 20 of 952 total
Start
Contact
Print
General Help
