4738 search results - page 108 / 948 » Past, Present, and Future |
151
click to vote
ICIP
1995
IEEE
16 years 7 months ago
1995
IEEE
Traditionally, Markov models have not been successfully used for compression of signal data other than binary image data. Due to the fact that exact substring matches in non-binar...
WWW
2008
ACM
16 years 7 months ago
2008
ACM
In this paper we propose a method for predicting the ranking position of a Web page. Assuming a set of successive past top-k rankings, we study the evolution of Web pages in terms...
147
click to vote
FM
2009
Springer
16 years 27 days ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
164
click to vote
FORMATS
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. We study the realizability problem for specifications of reactive systems expressed in real-time linear temporal logics. The logics we consider are subsets of MITL (Metr...
156
click to vote
SSDBM
2008
IEEE
16 years 21 days ago
2008
IEEE
Given a query tuple q, the dynamic skyline query retrieves the tuples that are not dynamically dominated by any other in the data set with respect to q. A tuple dynamically dominat...