434 search results - page 47 / 87 » Monadic Bounded Algebras |
PODS
2010
ACM
14 years 3 months ago
2010
ACM
We investigate a higher-order query language that embeds operators of the positive relational algebra within the simply-typed λ-calculus. Our language allows one to succinctly de...
AAAI
1990
13 years 11 months ago
1990
: Tasks such as forecasting, diagnosis, and planning frequently require quantitative predictions . Typically, quantitative predictions are obtained by characterizing a system in te...
FM
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
ENTCS
2008
13 years 10 months ago
2008
Using linear algebraic techniques, we analyse the computational complexity of testing reachability in Petri nets for which markings can grow very fast. This leads to two subclasse...
SIAMMAX
2011
13 years 4 months ago
2011
We introduce a methodology for obtaining inventories of error results for families of numerical dense linear algebra algorithms. The approach for deriving the analyses is goal-orie...