461 search results - page 77 / 93 » Temporal granular logic for temporal data mining |
110
click to vote
SIGMOD
2010
ACM
15 years 6 months ago
2010
ACM
We propose PASTE, the first differentially private aggregation algorithms for distributed time-series data that offer good practical utility without any trusted server. PASTE add...
127
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
We study complexity of the model-checking problems for LTL with registers (also known as freeze LTL and written LTL ) and for first-order logic with data equality tests (written F...
133
click to vote
KDD
2008
ACM
16 years 2 months ago
2008
ACM
This paper presents a new algorithm for sequence prediction over long categorical event streams. The input to the algorithm is a set of target event types whose occurrences we wis...
112
click to vote
PR
2006
15 years 1 months ago
2006
Video temporal segmentation is normally the first and important step for content-based video applications. Many features including the pixel difference, colour histogram, motion, ...
102
click to vote
LMCS
2007
15 years 1 months ago
2007
Higher-Order Fixpoint Logic (HFL) is a hybrid of the simply typed λ-calculus and the modal µ-calculus. This makes it a highly expressive temporal logic that is capable of express...