„Logic Programming“

Suchergebnisse

2.836 Treffer

• Distributed unequal clustering algorithm in large-scale wireless sensor networks using fuzzy logic
  Neamatollahi, Peyman ; Naghibzadeh, Mahmoud
• Freight transportation broker agent based on constraint logic programming
  Bǎdicǎ, Costin ; Leon, Florin ; Bǎdicǎ, Amelia
• Weighted iterated linear control
  Fülöp, Zoltán ; Vogler, Heiko
• Preface to the special issue on inductive logic programming
  Cussens, James ; Russo, Alessandra
• Language Description and Implementation Concepts of LITFAS (Language for Implications from Textual Files and Atomic Sentences)
  Bertsch, Eberhard 2018 FernUniversität in Hagen
• Topics in Cryptology - CT-RSA 2010 – The Cryptographers’ Track at the RSA Conference 2010, San Francisco, CA, USA, March 1-5, 2010. Proceedings
  Smart, Nigel P. 2010 Springer International Publishing
• Adaptive cruise control via adaptive dynamic programming with experience replay
  Wang, Bin ; Zhao, Dongbin ; Cheng, Jin
• 0–1 linear integer programming method for granule knowledge reduction and attribute reduction in concept lattices
  Li, Lifeng ; Zhang, Dongxiao
• Transition activity recognition using fuzzy logic and overlapped sliding window-based convolutional neural networks
  Kang, Jaewoong ; Kim, Jongmo ; Lee, Seongil ; Sohn, Mye
• Implementation of 3-Valued Paraconsistent Logic Programming Towards Decision Making System of Agents
  Goto, Yuki ; Fujita, Megumi ; Nide, Naoyuki
• Solving interval linear programming problems with equality constraints using extended interval enclosure solutions
  Mohaghegh Tabar, Maryam ; Keyanpour, Mohammad ; Lodwick, Weldon A.
• Synthesis of Σ-Automata Specified in the First Order Logical Languages LP and LF
  Chebotarev, A. N.
• Preface for the special issue “FM15”
  Boer, Frank de ; Bjorner, Nikolaj
• Hybrid evolutionary programming using adaptive Lévy mutation and modified Nelder–Mead method
  Pang, Jinwei ; He, Jun ; Dong, Hongbin
• Finite-trace linear temporal logic: coinductive completeness
  Roşu, Grigore
• C in 30 days
  Sujaritha, M. ; Shunmuga Priya, S. ; Arun, J. 2018 LAP LAMBERT Academic Publishing
• Parikh matrices for powers of words
  Atanasiu, Adrian ; Poovanandran, Ghajendran ; Teh, Wen Chean
• Robust and efficient QCA cell-based nanostructures of elementary reversible logic gates
  Abutaleb, M. M.
• Hybridization of water wave optimization and sequential quadratic programming for cognitive radio system
  Singh, Gurmukh ; Rattan, Munish ; Gill, Sandeep Singh ; Mittal, Nitin
• Role of Engineering in Therapy
  Soliman, Fouad 2018 LAP LAMBERT Academic Publishing