9067 search results - page 559 / 1814 » Adaptive Model Checking |
200
click to vote
AICCSA
2008
IEEE
16 years 1 months ago
2008
IEEE
The aim of this paper is to describe a Quality of Service (QoS) model enabling to measure the perceptual quality of video transmissions by exploiting metrics from different layers...
194
click to vote
FGCN
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we present a novel feedback control-based load shedding scheme for data stream processing. Firstly we apply system identification to establish a dynamic model to de...
201
click to vote
EMMCVPR
2007
Springer
16 years 1 months ago
2007
Springer
Video segmentation requires the partitioning of a series of images into groups that are both spatially coherent and smooth along the time axis. We formulate segmentation as a Bayes...
183
click to vote
POLICY
2007
Springer
16 years 1 months ago
2007
Springer
Web data extraction is concerned, among other things, with routine data accessing and downloading from continuously-updated dynamic Web pages. There is a relevant trade-off between...
197
click to vote
HOTI
2005
IEEE
16 years 21 days ago
2005
IEEE
A partitioned TCAM-based search engine is presented that increases packet forwarding rate multiple times over traditional TCAMs. The model works for IPv4 and IPv6 packet forwardin...