Results 281 to 290 of about 3,566,549 (338)

Runtime Monitoring of Static Fairness Properties

open access: yes
Henzinger TA   +3 more
europepmc   +1 more source

Extended Interval Power Function

Reliable Computing, 2003
A containment of a function \(f\) at a point \(x\) (finite or infinite) is defined as the set of accumulation points of sequences \(\{f(x_k)\}\) as \(\{x_k\}\) tends to \(x\) and where the numbers \(x_k\) belong to the domain of definition of \(f\).
Krämer, Walter   +1 more
openaire   +1 more source

Home - About - Disclaimer - Privacy