4397 search results - page 253 / 880 » Relational Algebra Operations |
133
click to vote
ENTCS
2007
15 years 4 months ago
2007
The basic motivation behind this work is to tie together various computational complexity classes, whether over different domains such as the naturals or the reals, or whether de...
122
click to vote
PPSN
2000
Springer
15 years 8 months ago
2000
Springer
A family of recombination operators is studied in this work. These operators are based on keeping and using certain information about the past evolution of the algorithm to guide t...
140
click to vote
ER
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. As several mature implementations of data warehousing systems are fully operational, a crucial role in preserving their up-to-dateness is played by the ability to manage ...
156
click to vote
ANTS
2010
Springer
15 years 8 months ago
2010
Springer
Let p be a rational prime and let Φ(X) be a monic irreducible polynomial in Z[X], with nΦ = deg Φ and δΦ = vp(disc Φ). In [13] Montes describes an algorithm for the decomposi...
123
click to vote
IFM
2000
Springer
15 years 8 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...