358 search results - page 18 / 72 » Algebraic Optimization of Computations over Scientific Datab... |
130
Voted
APPT
2003
Springer
15 years 5 months ago
2003
Springer
The increase number of mobile users in wireless environment affects query access time substantially. To minimise the query access time, one possible way is to employ data broadcast...
105
Voted
CASC
2010
Springer
14 years 11 months ago
2010
Springer
Convexity is an important property in nonlinear optimization since it allows to apply efficient local methods for finding global solutions. We propose to apply symbolic methods t...
112
click to vote
JAR
2006
15 years 12 days ago
2006
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
102
click to vote
DBPL
1991
Springer
15 years 4 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...
110
Voted
CA
1999
IEEE
15 years 4 months ago
1999
IEEE
The continuously increasing complexity of computer animationsmakes it necessary to rely on the knowledge of various experts to cover the different areas of computer graphics and a...