• Flyspeck

  • Referenced in 113 articles [sw10277]
  • development (in HOL Light) and the Flyspeck informal mathematical text as a narrative linked ... make this possible, we use the Agora system, a MathWiki platform developed at Nijmegen which ... show that the system itself is generic and easily adapted to the HOL Light case...
  • AntNet

  • Referenced in 66 articles [sw11975]
  • introduces AntNet, a novel approach to the adaptive learning of routing tables in communications networks ... distributed, mobile agents based Monte Carlo system that was inspired by recent work ... concurrently explore the network and exchange collected information. The communication among the agents is indirect...
  • CAFISE

  • Referenced in 3 articles [sw03187]
  • service oriented applications with high adaptability In enterprise information systems and e-government systems ... adaptive service-oriented software framework, named as CAFISE (Convergent Approach For Information System Evolution) Framework ... Framework based development method for service-oriented adaptive software. The CAFISE Framework enables to encapsulate ... show that the service-oriented enterprise information systems and e-government systems developed with...
  • FOIL

  • Referenced in 31 articles [sw24694]
  • first-order learning system that uses information in a collection of relations to construct theories ... used in the current version of the system, including two recent additions. We present examples ... tasks tackled by FOIL and of systems that adapt and extend its approach...
  • avida

  • Referenced in 18 articles [sw17260]
  • contains the user manual for the “avida” system and has attached ... code subject to random mutations, adapting to a complex information-rich landscape...
  • DIEGO

  • Referenced in 13 articles [sw02178]
  • specification of distributed systems with concurrently interacting objects. Adapting previously made proposals for a graph ... module concept and for graph models with information hiding to this setting, the new approach ... import interfaces are our means to construct system architectures and to allow reuse of modules...
  • BootCMatch

  • Referenced in 6 articles [sw27182]
  • preconditioner in a Krylov method. The adaptive AMG presented is meant to handle general symmetric ... definite (SPD) sparse linear systems, without assuming any a priori information of the problem ... origin; the goal of adaptivity is to achieve a method with a prescribed convergence rate ... matching in the adjacency graph of the system matrix. More specifically, a maximum product matching...
  • ASAP

  • Referenced in 6 articles [sw02689]
  • systems which exploits the statistical information collected at the reader. The protocol, termed adaptive slotted ... currently suggested MAC protocols for RFID systems. In order to accomplish this task, ASAP estimates...
  • Preference SQL

  • Referenced in 7 articles [sw19209]
  • Chair for Databases and Information Systems at the University of Augsburg, Germany. Salient benefits ... Preference SQL are: Context-adaptive and location-based preference modeling; Personalized query results, avoiding annoying...
  • AFEPack

  • Referenced in 8 articles [sw12250]
  • library for (adaptive) finite element developping. Please visit its homepage for further information ... successfully on other operating system...
  • hwloc

  • Referenced in 9 articles [sw12733]
  • performance computing applications now have to carefully adapt their placement and behavior according ... Hardware Locality (hwloc) software which gathers hardware information about processors, caches, memory nodes and more ... exposes it to applications and runtime systems in a abstracted and portable hierarchical manner. hwloc ... performance by having runtime systems place their tasks or adapt their communication strategies depending...
  • TWODEPEP

  • Referenced in 10 articles [sw01212]
  • species encoded into billions of bits of information. Like the code of life, TWODEPEP began ... stages as it adapted to non-linear and time dependent problems, systems of PDEs, eigenvalue...
  • MUSCADET

  • Referenced in 9 articles [sw06859]
  • system using a modular knowledge base expressed in a user-friedly language. { More detailed information ... natural reduction, the knowledge base is adapted to prove theorems in point-set topology...
  • Naproche

  • Referenced in 12 articles [sw28307]
  • syntactical and mathematical correctness. The Naproche system is an implementation of the ideas developed ... adapted to allow for common grammatical constructs and to extract mathematically relevant implicit information about...
  • MEMOIR

  • Referenced in 4 articles [sw02321]
  • access and share all forms of technical information is an acute problem. It is often ... MEMOIR system. MEMOIR is an open framework, i.e., it is extensible and adaptable ... accessing and navigating vast amounts of information in Intranet environments. Additionally, MEMOIR exploits trail data ... finding colleagues with similar interests. The MEMOIR system has been installed and evaluated...
  • ARACNe-AP

  • Referenced in 3 articles [sw34267]
  • network reverse engineering through adaptive partitioning inference of mutual information. The accurate reconstruction of gene ... represents one of the grand challenges of Systems Biology. The Algorithm for the Reconstruction ... based on an Adaptive Partitioning strategy (AP) for estimating the Mutual Information...
  • OpenRec

  • Referenced in 3 articles [sw29798]
  • deeper understanding of users» preferences, recommender systems have gone beyond simple user-item filtering ... fusing diverse information. Unfortunately, existing frameworks do not adequately support extensibility and adaptability and consequently ... framework that supports extensible and adaptable research in recommender systems. Each recommender is modeled...
  • BIOMET

  • Referenced in 10 articles [sw02474]
  • face, voice, fingerprint, hand and signature modalities. Information technology innovations involve a constant evolution ... people could be used to better adapt the machine to the user. Security can also ... improve the performance of a person authentication system, multimodality can be applied. This motivated...
  • GOTM

  • Referenced in 9 articles [sw13869]
  • tools are needed to interpret the functional information in the gene sets. Results: We have ... genes identified from microarray analysis but is adaptable for use with other gene sets from ... Acyclic Graph for input gene sets. This system provides user friendly data navigation and visualization...
  • WGL

  • Referenced in 2 articles [sw31398]
  • laboratory for geometry. The role of information and communication technologies (ICT) in education is nowadays ... adaptive, Web environment for geometry, integrating a well known dynamic geometry system. In a collaborative ... problems, can exchange geometrical and textual information between them. In a normal work session (stand...