Sciweavers

1699 search results - page 166 / 340
» A timed semantics of Orc
Sort
View
KI
2006
Springer
13 years 8 months ago
GeTS - A Specification Language for Geo-Temporal Notions
This document describes the `Geo-Temporal' specification language GeTS. The objects which can be described and manipulated with this language are time points, crisp and fuzzy...
Hans Jürgen Ohlbach
ICDE
2005
IEEE
86views Database» more  ICDE 2005»
14 years 9 months ago
Proactive Caching for Spatial Queries in Mobile Environments
Semantic caching enables mobile clients to answer spatial queries locally by storing the query descriptions together with the results. However, it supports only a limited number o...
Haibo Hu, Jianliang Xu, Wing Sing Wong, Baihua Zhe...
SIGCSE
2009
ACM
137views Education» more  SIGCSE 2009»
14 years 8 months ago
The hidden injuries of overloading 'ADT'
commonly stated definition of abstract data type (ADT) is that it is a domain of values and the operations over that domain. So, for example, a language's built-in types, lik...
Duane Buck, David J. Stucki
KDD
2006
ACM
175views Data Mining» more  KDD 2006»
14 years 8 months ago
A mixture model for contextual text mining
Contextual text mining is concerned with extracting topical themes from a text collection with context information (e.g., time and location) and comparing/analyzing the variations...
Qiaozhu Mei, ChengXiang Zhai
APLAS
2009
ACM
14 years 2 months ago
Large Spurious Cycle in Global Static Analyses and Its Algorithmic Mitigation
We present a simple algorithmic extension of the classical call-strings approach to mitigate substantial performance degradation caused by spurious interprocedural cycles. Spuriou...
Hakjoo Oh