Sciweavers

2335 search results - page 292 / 467
» Type Checking Type Classes
Sort
View
114
Voted
DEXAW
1999
IEEE
142views Database» more  DEXAW 1999»
15 years 5 months ago
Developments in Spatio-Temporal Query Languages
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...
Martin Erwig, Markus Schneider
93
Voted
ISWC
1999
IEEE
15 years 5 months ago
Situated Computing: Bridging the Gap between Intention and Action
Situated computing represents a new class of computing applications that bridges the gap between people's intentions and the actions they can take to achieve those intentions...
Anatole Gershman, Joseph F. McCarthy, Andrew E. Fa...
131
Voted
SSDBM
1999
IEEE
86views Database» more  SSDBM 1999»
15 years 5 months ago
A Query System in a Biological Database
In this paper, we present a query system that has been implemented in a practical biological database - GPCRDB. Distinguishing features of this system include: smart query relaxat...
Dunren Che, Yangjun Chen, Karl Aberer
IPPS
1998
IEEE
15 years 5 months ago
A Performance Evaluation of CP List Scheduling Heuristics for Communication Intensive Task Graphs
List-based priority schedulers have long been one of the dominant classes of static scheduling algorithms. Such heuristics have been predominantly based around the "critical ...
Benjamin S. Macey, Albert Y. Zomaya
SIGMOD
1998
ACM
129views Database» more  SIGMOD 1998»
15 years 5 months ago
Incremental Distance Join Algorithms for Spatial Databases
Two new spatial join operations, distance join and distance semijoin, are introduced where the join output is ordered by the distance betweenthe spatialattribute values ofthe join...
Gísli R. Hjaltason, Hanan Samet