• Openproof

  • Referenced in 4 articles [sw19457]
  • Openproof - A Flexible Framework for Heterogeneous Reasoning. In this paper we describe the Openproof heterogeneous ... provides support for the implementation of heterogeneous reasoning environments, i.e., environments for writing arguments...
  • Hyperproof

  • Referenced in 25 articles [sw22172]
  • system for learning the principles of analytical reasoning and proof construction, consisting of a text ... also reflects the heterogeneity of information encountered in everyday reasoning...
  • Vivid

  • Referenced in 3 articles [sw01316]
  • domain-independent framework for mechanized heterogeneous reasoning that combines diagrammatic and symbolic representation and inference ... with incomplete information, a pervasive feature of heterogeneous problem solving. We introduce a notion ... base semantics of DPLs to accommodate diagrammatic reasoning by introducing general inference mechanisms...
  • Diabelli

  • Referenced in 2 articles [sw19454]
  • Diabelli: a heterogeneous proof system. We present Diabelli, a formal reasoning system that enables users...
  • Pirlo

  • Referenced in 4 articles [sw08421]
  • Reasoning (on) service component ensembles in rewriting logic Programming autonomic systems with massive number ... heterogeneous components poses a number of challenges to language designers and software engineers and requires ... integration of computational tools and reasoning tools. We present a general methodology to enrich SCEL...
  • MCMG

  • Referenced in 1 article [sw10705]
  • shared LLC access results of heterogeneous cores and show reasonable explanation. Finally, we conclude...
  • BayesOWL

  • Referenced in 8 articles [sw36763]
  • domain or to achieve semantic interoperability among heterogeneous systems. This chapter presents an on-going ... ontology language OWL5 for representing and reasoning with uncertainty based on Bayesian networks...
  • eXiT*CBR

  • Referenced in 2 articles [sw17380]
  • based reasoning (CBR) systems for medical diagnosis. Method: Our framework offers a modular, heterogeneous environment...
  • PTE

  • Referenced in 7 articles [sw37756]
  • Predictive Text Embedding through Large-scale Heterogeneous Text Networks. Unsupervised text embedding methods, such ... particular machine learning tasks. One possible reason is that these text embedding methods learn ... first represented as a large-scale heterogeneous text network, which is then embedded into...
  • WHIRL

  • Referenced in 11 articles [sw02620]
  • integration of distributed, heterogeneous databases, such as those available on the World Wide Web, poses ... objects as a built-in type, similarity reasoning as a built-in predicate, and answers...
  • LIAD

  • Referenced in 1 article [sw02816]
  • determine an accurate congestion window in a heterogeneous wireless network that consists of the wired ... various types of wireless networks.par The primary reason is that TCP connections are impacted ... Adaptive Decrease, LIAD) for TCP connections in heterogeneous wireless networks. The proposed RTT-based LIAD...
  • SELL_C_sigma

  • Referenced in 11 articles [sw11232]
  • which could become an obstacle when using heterogeneous systems. Also, it is as yet unclear ... test matrices is studied and for which reasonable choices are proposed. This leads...
  • KOMET

  • Referenced in 4 articles [sw21352]
  • architecture for the intelligent integration of heterogeneous information sources. It is based on the idea ... able to perform various common types of reasoning, such as probabilistic, fuzzy, paraconsistent and certain...
  • SQuAVisiT

  • Referenced in 1 article [sw16986]
  • software analytics. Visual software analytics supports analytical reasoning about software systems facilitated by interactive visual ... hundreds to thousands KLOC,from homogeneous to heterogeneous systems...
  • TrafficPredict

  • Referenced in 2 articles [sw36647]
  • TrafficPredict: Trajectory Prediction for Heterogeneous Traffic-Agents. To safely and efficiently navigate in complex urban ... accurately to help the autonomous vehicle make reasonable navigation decision. To solve this problem...
  • QuISP

  • Referenced in 1 article [sw40921]
  • investigate their behavior under realistic, noisy and heterogeneous configurations. The protocol architecture we propose enables ... results for a small network. A key reason for simulation is to look for emergent...
  • BioEM

  • Referenced in 1 article [sw16813]
  • challenge of working with highly dynamic or heterogeneous systems not easily handled in traditional ... tens of thousands of images in a reasonable time. The general mathematical framework and robust...
  • PVM-AMBER

  • Referenced in 1 article [sw21840]
  • protein, and lipid bilayer systems indicate that reasonable parallel efficiency (70–90%) and computational speedup ... ALPHA, and HP 735 workstation clusters and heterogeneous clusters of these machines, as well...
  • FSDA4R

  • Referenced in 1 article [sw30188]
  • complex datasets, affected by different sources of heterogeneity. FSDA was born around the forward search ... predominant. For this reason, we started a new project of porting selected FSDA tools...
  • ProGraML

  • Referenced in 1 article [sw32379]
  • model architecture with sufficient expressiveness to reason about this representation. We introduce ProGraML - Program Graphs ... approach to two high-level tasks - heterogeneous device mapping and program classification - setting new state...