• PrASP

  • Referenced in 1 article [sw18512]
  • programming”). PrASP is both an uncertainty reasoning and machine learning software and a probabilistic logic ... applications in the area of uncertainty stream reasoning. PrASP programs can consist of ASP (AnsProlog...
  • CoCLAM

  • Referenced in 2 articles [sw28719]
  • lazy lists or streams and is of particular use for reasoning about equivalences. A central...
  • C-SPARQL

  • Referenced in 5 articles [sw02088]
  • streams in RDF format guarantees interoperability and opens up important applications, in which reasoners ... extensions. The expression of meaningful queries over streaming data is strictly connected to the availability...
  • HiTag2

  • Referenced in 9 articles [sw14133]
  • Hitag2 is a widely applied lightweight stream cipher with a traditional structure containing linear shift ... using a hybrid approach of logical reasoning and computer computation, we obtain the precise value...
  • SRTP

  • Referenced in 3 articles [sw02462]
  • friendly congestion control for multimedia streaming. Multimedia streaming applications are becoming increasingly popular ... starvation of TCP traffic. For this reason, TCP-friendly protocols are being developed that behave ... protocol, called Smart RTP(SRTP), for multimedia streaming. Our proposed protocol has two salient features...
  • Stern-Brocot Tree

  • Referenced in 3 articles [sw28560]
  • permutation of the Bird tree. The reasoning stays at an abstract level by appealing ... algebraic laws point-wise to trees and streams using applicative functors...
  • Montre

  • Referenced in 2 articles [sw30369]
  • given pattern over both logged and streaming behaviors. Furthermore, Montre is designed to work with ... complex and versatile tasks for analyzing and reasoning about cyber-physical systems. As the first...
  • SigmaKEE

  • Referenced in 4 articles [sw15189]
  • logic with equality. SigmaKEE has integrated different reasoning systems in the past, but they either ... simple interface based on text streams. No special modifications to E were necessary...
  • LVMSR

  • Referenced in 2 articles [sw02374]
  • minimum delay jitter between the various video streams received by each receiver. The problem ... always satisfy the delay constraint with reasonably low total cost...
  • NetSketch

  • Referenced in 2 articles [sw20006]
  • Domain-Specific Language (DSL) for describing and reasoning about constrained-flow networks at various levels ... cyber-physical systems (CPS) applications) and a streaming media network (as a proxy for Internet...
  • Applicative Lifting

  • Referenced in 1 article [sw28587]
  • types, as observed by Hinze. Thus, equational reasoning over effectful computations can be reduced ... arithmetic type class hierarchy to streams and the verification of a relabelling function on binary...
  • SSAX

  • Referenced in 1 article [sw23631]
  • functional parser, which can act as a stream processor. SSAX is an efficient SAX parser ... programmer to write and to reason about. The more expressive, reliable and easier...
  • AXIOM

  • Referenced in 170 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • Coq

  • Referenced in 1763 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 2797 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Maple

  • Referenced in 4993 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 241 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Mathematica

  • Referenced in 5808 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 11784 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 527 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...