4397 search results - page 447 / 880 » Relational Algebra Operations |
159
click to vote
SCP
2011
15 years 1 months ago
2011
a more abstract characterisation in the setting of semirings. Formally, a domain semiring is a semiring S extended by a domain operation d : S → S which, for all x, y ∈ S, sati...
167
click to vote
TPHOL
2009
IEEE
16 years 29 days ago
2009
IEEE
Abstract. We present a Coq formalization of constructive ω-cpos (extending earlier work by Paulin-Mohring) up to and including the inverselimit construction of solutions to mixed-...
133
click to vote
ATVA
2009
Springer
16 years 27 days ago
2009
Springer
We present a data symmetry reduction approach for model temporal-epistemic logic. The technique abstracts the epistemic indistinguishably relation for the knowledge operators, and ...
147
click to vote
ASPDAC
2009
ACM
16 years 25 days ago
2009
ACM
— Negative Bias Temperature Instability (NBTI) is a leading reliability concern for integrated circuits (ICs). It gradually increases the threshold voltages of PMOS transistors, ...
176
click to vote
AICCSA
2008
IEEE
16 years 24 days ago
2008
IEEE
Time Petri nets with stopwatches not only model system/environment interactions and time constraints. They further enable modeling of suspend/resume operations in real-time system...