• TREPPS

  • Referenced in 1 article [sw12756]
  • context-aware recommender systems based on computational intelligence techniques The demand for ubiquitous information processing ... scalability that lead to imprecise recommendations. Computational Intelligence (CI) techniques not only improve recommendation accuracy ... artificial neural networks, (c) evolutionary computing, (d) swarm intelligence, and (e) artificial immune systems. This...
  • STRAMS

  • Referenced in 1 article [sw00918]
  • representation and problem solving in the intelligent computer algebra system STRAMS. The paper discusses ... intelligent computer algebra system STRAMS being under development at the Faculty of Mathematics and Informatics...
  • GSO

  • Referenced in 1 article [sw19035]
  • ranging from optimization to robotics. Examples include computation of multiple optima, annual crop planning, cooperative ... area of swarm intelligence and computational intelligence and working on these topics...
  • Geometry Tutor

  • Referenced in 11 articles [sw32253]
  • Advanced Computer Tutoring Project has been working on the development of intelligent computerhased tutors...
  • ETPS

  • Referenced in 160 articles [sw06302]
  • reason, and certain aspects of artificial intelligence. TPS can be used to prove theorems ... inference in specified ways, and the computer handles the details of writing the appropriate lines...
  • Bio-AIMS

  • Referenced in 1 article [sw27729]
  • offers theoretical models based on Artificial Intelligence, Computational Biology, and Bioinformatics to study Complex Systems...
  • CoreIIScheduler

  • Referenced in 1 article [sw11965]
  • core-based grids is scheduling. Specific computational intelligence methods are capable of dealing with complex...
  • PMCGPU

  • Referenced in 4 articles [sw14528]
  • Natural Computing (Department of Computer Science and Artificial Intelligence, University of Seville). PMCGPU was born...
  • OptSAT

  • Referenced in 2 articles [sw00656]
  • important and central problems in Artificial Intelligence and Computer Science. Basically, most SAT solvers...
  • DAMIS

  • Referenced in 1 article [sw36785]
  • Cloud computing approach for intelligent visualization of multidimensional data. In this paper, a Cloud computing ... intelligent visualization of multidimensional data is proposed. Intelligent visualization enables to create visualization models based ... Cloud computing-based data mining system DAMIS is introduced for the intelligent data analysis including...
  • DeepStack

  • Referenced in 18 articles [sw27097]
  • long-standing challenge problem in artificial intelligence. We introduce DeepStack, an algorithm for imperfect-information ... handle information asymmetry, decomposition to focus computation on the relevant decision, and a form...
  • GrADSAT

  • Referenced in 5 articles [sw07282]
  • widely distributed commodity computational resources. The GrADSAT parallel algorithm uses intelligent backtracking, sharing of learned ... show how the large number of computational resources and communication overhead influence the implementation strategy...
  • PushGP

  • Referenced in 5 articles [sw29477]
  • applications, ranging from intelligent agent design to automatic quantum computer programming. Features include: Multiple data...
  • Mozart

  • Referenced in 20 articles [sw04759]
  • System is an advanced development platform for intelligent, distributed applications. The system is the result ... design and implementation, constraint-based inference, distributed computing, and human-computer interfaces. As a result...
  • Summary SQL

  • Referenced in 22 articles [sw12423]
  • data mining. The increasing use of computers for transactions and communication have created mountains ... have the ability of flexible querying and intelligent searching. In this paper we will introduce...
  • GANITH

  • Referenced in 9 articles [sw10142]
  • building a general-purpose tool for computing and visualizing solutions to systems of algebraic equations ... existing algorithms, in an intelligent blend of algebraic and numeric methods, and real solutions. Complex ... solutions can also be computed, but visualizing them is difficult. The software shall also take...
  • AUTO3DEM

  • Referenced in 1 article [sw09128]
  • programs, monitors the progress of the computations, and intelligently updates the input parameters ... designed to be used on any computer running the Linux or UNIX operating systems...
  • Zchaff2004

  • Referenced in 21 articles [sw01032]
  • source of many interesting questions for theoretical computer scientists, the problem has found many practical ... such as electronic design automation and artificial intelligence. These applications continue to motivate the development...
  • LINSYST

  • Referenced in 3 articles [sw04251]
  • Algorithms and computational features of the LINSYST intelligent software product This paper discusses an intelligent...
  • SharpNEAT

  • Referenced in 2 articles [sw31049]
  • evolved networks. Features: neuroevolution; artificial intelligence; evolutionary algorithm; evolutionary computing; neat; hyperneat...