1712 search results - page 89 / 343 » Abstract Constraint Data Types |
124
Voted
ER
1998
Springer
15 years 7 months ago
1998
Springer
Abstract: Currently, there are strong efforts to integrate spatial and temporal database technology into spatio-temporal database systems. This paper views the topic from a rather ...
135
Voted
EUROPAR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. As heterogeneous computing platforms become more prevalent, the programmer must account for complex memory hierarchies in addition to the difficulties of parallel program...
145
Voted
SEMWEB
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. RDF may be considered as an application of XML intended to interoperably exchange semantics between Web applications. In its current form, this objective may be hard to r...
149
Voted
PASTE
2005
ACM
15 years 8 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
145
Voted
CP
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Interval-based methods can approximate all the real solutions of a system of equations and inequalities. The Box interval constraint propagation algorithm enforces Box co...