2203 search results - page 207 / 441 » Temporal Abstract Interpretation |
153
click to vote
SIGCSE
2009
ACM
16 years 4 months ago
2009
ACM
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...
149
click to vote
CVPR
2005
IEEE
16 years 6 months ago
2005
IEEE
Hand-drawn diagrams present a complex recognition problem. Elements of the diagram are often individually ambiguous, and require context to be interpreted. We present a recognitio...
281
click to vote
ICDE
2009
IEEE
16 years 6 months ago
2009
IEEE
A sensor network data gathering and visualization infrastructure is demonstrated, comprising of Global Sensor Networks (GSN) middleware and Microsoft SensorMap. Users are invited t...
134
click to vote
KDD
2006
ACM
16 years 4 months ago
2006
ACM
This paper presents an LDA-style topic model that captures not only the low-dimensional structure of data, but also how the structure changes over time. Unlike other recent work t...
132
click to vote
KDD
2005
ACM
16 years 4 months ago
2005
ACM
Knowledge Discovery in time series usually requires symbolic time series. Many discretization methods that convert numeric time series to symbolic time series ignore the temporal ...