Sciweavers

3047 search results - page 362 / 610
» A Temporal Consensus Model
Sort
View
IPL
2010
94views more  IPL 2010»
15 years 5 months ago
Partial model checking via abstract interpretation
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...
Nicoletta De Francesco, Giuseppe Lettieri, Luca Ma...
SOCIALCOM
2010
15 years 4 months ago
Measurement, Modeling, and Analysis of a Large-scale Blog Sever Workload
Despite the growing popularity of Online Social Networks (OSNs), the workload characteristics of OSN servers, such as those hosting blog services, are not well understood. Understa...
Myeongjae Jeon, Jeaho Hwang, Youngjae Kim, Jae-Wan...
IVC
2011
190views more  IVC 2011»
15 years 1 months ago
A graphical model based solution to the facial feature point tracking problem
In this paper a facial feature point tracker that is motivated by applications such as human-computer interfaces and facial expression analysis systems is proposed. The proposed t...
Serhan Cosar, Müjdat Çetin
ICIP
2005
IEEE
16 years 8 months ago
Segmentation and tracking of mesoscale eddies in numeric ocean models
An adequate understanding of climate variability and the eventual prediction of climate change are among the most urgent and far-reaching efforts of the scientific community.. Mea...
Ramprasad Balasubramanian, Vishal Sood, Bin John, ...
ICIP
1997
IEEE
16 years 8 months ago
Blocking Artefact Free Video Coding Based on a Bilinear Forward Image Warping Model
In this paper a new very low bit rate video coding scheme is presented. It is based on a forward motion estimation technique using an image warping model, thus delivering the basi...
Guido Heising, Kai Uwe Barthel, W. Johannsen, C. S...