1690 search results - page 46 / 338 » Algorithmic Properties of Millstream Systems |
150
click to vote
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...
212
click to vote
ICDE
2005
IEEE
16 years 5 months ago
2005
IEEE
Stream-processing systems are designed to support an emerging class of applications that require sophisticated and timely processing of high-volume data streams, often originating...
226
click to vote
VLDB
2003
ACM
16 years 4 months ago
2003
ACM
We enunciate the need for watermarking database relations to deter data piracy, identify the characteristics of relational data that pose unique challenges for watermarking, and de...
155
Voted
DAWAK
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper, we propose a novel mining task: mining frequent superset from the database of itemsets that is useful in bioinformatics, e-learning systems, jobshop schedu...
150
Voted
EVOW
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. This paper presents an evolutionary approach for image reconstruction in positron emission tomography (PET). Our reconstruction method is based on a cooperative coevoluti...