• PrASP

  • Referenced in 2 articles [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...
  • C-SPARQL

  • Referenced in 6 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...
  • CoCLAM

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

  • Referenced in 10 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...
  • WeNet

  • Referenced in 1 article [sw37166]
  • streaming two pass (U2) E2E model but also show reasonable RTF and latency, both...
  • 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...
  • RVR Meander

  • Referenced in 1 article [sw37791]
  • analyzing and modeling planform migration of streams. In the past, several rivers have been channelized ... rivers is indispensable for economic and social reasons such as development of urban areas close...
  • NodeMerge

  • Referenced in 1 article [sw39053]
  • approach can directly work on the stream of system dependency data and achieve data reduction ... under the same budget. Only with a reasonable amount of resource for online data reduction...
  • 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 172 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • Coq

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

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

  • Referenced in 669 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Maple

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