
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...

CSPARQL
 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, TCPfriendly protocols are being developed that behave ... protocol, called Smart RTP(SRTP), for multimedia streaming. Our proposed protocol has two salient features...

SternBrocot Tree
 Referenced in 3 articles
[sw28560]
 permutation of the Bird tree. The reasoning stays at an abstract level by appealing ... algebraic laws pointwise 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 cyberphysical 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]
 DomainSpecific Language (DSL) for describing and reasoning about constrainedflow networks at various levels ... cyberphysical 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 highlevel language and interactive...

MiniSat
 Referenced in 527 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...