1123 search results - page 97 / 225 » Analysis of Timed Processes with Data Using Algebraic Transf... |
119
click to vote
FP
1989
15 years 7 months ago
1989
This paper reports an explanation of an intricate algorithm in the terms of a potentially mechanisable rigorous-development method. It uses notations and techniques of Sheeran 1] ...
151
click to vote
ISSS
2000
IEEE
15 years 7 months ago
2000
IEEE
Timing and power consumption of embedded systems are state and input data dependent. Formal analysis of such dependencies leads to intervals rather than single values. These inter...
133
click to vote
DAWAK
1999
Springer
15 years 7 months ago
1999
Springer
Data mining can be used to extensively automate the data analysis process. Techniques for mining interval time series, however, have not been considered. Such time series are commo...
148
click to vote
PLDI
2010
ACM
16 years 21 days ago
2010
ACM
An ad hoc data format is any non-standard, semi-structured data format for which robust data processing tools are not available. In this paper, we present ANNE, a new kind of mark...
153
click to vote
CIKM
2011
Springer
14 years 3 months ago
2011
Springer
A continuous top-k query retrieves the k most preferred objects in a data stream according to a given preference function. These queries are important for a broad spectrum of appl...