1626 search results - page 128 / 326 » Subtyping with Power Types |
141
click to vote
DBPL
1991
Springer
15 years 7 months ago
1991
Springer
We propose a programming paradigm that tries to get close to both the semantic simplicity of relational algebra, and the expressive power of unrestricted programming languages. It...
135
click to vote
JC
2007
15 years 4 months ago
2007
We study the complexity of approximating the smallest eigenvalue of −∆ + q with Dirichlet boundary conditions on the d-dimensional unit cube. Here ∆ is the Laplacian, and th...
148
click to vote
CADE
2004
Springer
16 years 4 months ago
2004
Springer
Interactive theorem provers can model complex systems, but require much effort to prove theorems. Resolution theorem provers are automatic and powerful, but they are designed to be...
124
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
The Gulf Cooperation Council (GCC) is nearing the completion of a high voltage transmission system designed to integrate the power systems of Saudi Arabia, Kuwait, Bahrain, Qatar,...
172
click to vote
IEEEICCI
2009
IEEE
15 years 11 months ago
2009
IEEE
An interval set is an interval in the power set lattice based on a universal set and is a family of subsets of the universal set. Interval sets and interval-set algebras provide a...