4211 search results - page 579 / 843 » Types as Abstract Interpretations |
187
click to vote
DEXAW
1999
IEEE
15 years 10 months ago
1999
IEEE
ing spatio-temporal data as abstract data types into already existing data models is a promising approach to creating spatio-temporal query languages. In this context, an importan...
213
click to vote
ACPC
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. A number of techniques are described for solving sparse linear systems on parallel platforms. The general approach used is a domaindecomposition type method in which a pr...
176
click to vote
DL
1999
Springer
15 years 10 months ago
1999
Springer
Three types of video surrogates visual (keyframes), verbal (keywords/phrases), and visual and verbal were designed and studied in a qualitative investigation of user cognitive pro...
155
click to vote
EKAW
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. This paper presents one approach to acquire knowledge from multiple experts. The experts are grouped into multilevel hierarchical structure, according to the type of know...
155
click to vote
ERSHOV
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Monads are a technique widely used in functional programming languages to address many different problems. This paper presents extensions, a functional-logic programming...