685 search results - page 73 / 137 » Closure Operators for Order Structures |
130
Voted
BTW
2003
Springer
15 years 7 months ago
2003
Springer
Abstract: In order to achieve efficient execution plans for queries comprising userdefined data types and predicates, the database system has to be provided with appropriate index ...
116
click to vote
TASLP
2010
14 years 9 months ago
2010
Spherical harmonic decomposition of wavefields is not only an active problem in acoustic signal processing but also a useful tool in a plethora of applications such as 3D beamform...
122
Voted
CHI
2006
ACM
16 years 2 months ago
2006
ACM
icians or philosophers use abstract symbols to derive formulas or form proofs. Indeed, these sketches are structural geometric proofs, consistent with Plato's supposition that...
135
Voted
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
Portable systems such as cell phones and portable media players commonly use non-volatile RAM (NVRAM) to hold all of their data and metadata, and larger systems can store metadata...
193
click to vote
EDBT
2012
ACM
13 years 4 months ago
2012
ACM
We present some architectural and technological insights on SAP’s HANA database and derive research challenges for future enterprise application development. The HANA database m...