1633 search results - page 317 / 327 » On the Verification of Temporal Properties |
117
click to vote
KDD
2007
ACM
16 years 4 days ago
2007
ACM
Frequent episode discovery is a popular framework for mining data available as a long sequence of events. An episode is essentially a short ordered sequence of event types and the...
102
click to vote
PODS
2008
ACM
15 years 12 months ago
2008
ACM
A fundamental problem in distributed computation is the distributed evaluation of functions. The goal is to determine the value of a function over a set of distributed inputs, in ...
EDBT
2004
ACM
15 years 12 months ago
2004
ACM
This paper presents a framework for understanding and constructing access methods for versioned data. Records are associated with version ranges in a version tree. A minimal repre...
WSDM
2010
ACM
15 years 9 months ago
2010
ACM
This article describes an application of the partially observable Markov (POM) model to the analysis of a large scale commercial web search log. Mathematically, POM is a variant o...
129
click to vote
ICDCSW
2009
IEEE
15 years 6 months ago
2009
IEEE
Embedded wireless networks have largely focused on openloop sensing and monitoring. To address actuation in closedloop wireless control systems there is a strong need to re-think ...