4542 search results - page 874 / 909 » Design patterns for data structures |
163
click to vote
JMLR
2008
15 years 4 months ago
2008
When monitoring spatial phenomena, which can often be modeled as Gaussian processes (GPs), choosing sensor locations is a fundamental task. There are several common strategies to ...
197
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...
144
click to vote
ICFEM
2009
Springer
15 years 2 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
228
click to vote
GIS
2009
ACM
16 years 5 months ago
2009
ACM
Map-matching is the process of aligning a sequence of observed user positions with the road network on a digital map. It is a fundamental pre-processing step for many applications...
234
click to vote
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
SQL tuning--the attempt to improve a poorly-performing execution plan produced by the database query optimizer-is a critical aspect of database performance tuning. Ironically, as ...