„Computing Methodologies.“

Suchergebnisse

1.689 Treffer

• Two types of universal proof systems for all variants of many-valued logics and some properties of them
  Chubaryan, Anahit ; Khamisyan, Artur
• An agent-based model of the emergence and evolution of a language system for boolean coordination
  Sierra-Santibáñez, Josefina
• An image distortion-based enhanced embedding scheme
  Kamal, A. H. M. ; Islam, Mohammad Mahfuzul
• Behavioural Computer Science: an agenda for combining modelling of human and system behaviours
  Pedersen, Tore ; Johansen, Christian ; Jøsang, Audun
• Reducing the time required by KASUMI to generate output by modifying the FL and FI functions
  Muthalagu, Raja ; Jain, Subeen
• Message from the Editor-in-Chief: Prof. Ayaz Isazadeh
  Isazadeh, Ayaz
• Knowledge discovery in multidimensional knowledge representation framework – An integrative approach for the visualization of text analytics results
  Zenkert, Johannes ; Klahold, André ; Fathi, Madjid
• Recursive Rule Extraction from NN using Reverse Engineering Technique
  Chakraborty, Manomita ; Biswas, Saroj Kr ; Purkayastha, Biswajit
• The narrowing-driven approach to functional logic program specialization
  Albert, Elvira ; Vidal, German
• Binding-time analysis for both static and dynamic expressions
  Asai, Kenichi
• A unifying approach to goal-directed evaluation
  Danvy, Olivier ; Grobauer, Bernd ; Rhiger, Morten
• Program transformation system based on generalized partial computation
  Futamura, Yoshihiko ; Konishi, Zenjiro ; Glück, Robert
• A portable approach to dynamic optimization in run-time specialization
  Masuhara, Hidehiko ; Yonezawa, Akinori
• New trends in e-business: From B2B to Web Services
  Maruyama, Hiroshi
• Mathematical models of quantum computation
  Nishino, Tetsuro
• Functional queries in Datalog
  Basta, Stefano ; Flesca, Sergio ; Greco, Sergio
• PAN: A portable, parallel Prolog: Its design, realisation and performance
  Xirogiannis, George ; Taylor, Hamish
• Call for papers
• Biomolecular computing
  Yamamura, Masayuki ; Head, Tom ; Hagiya, Masami
• The emerging discipline of biomolecular computation in the US
  Reif, John H.