Sciweavers

6906 search results - page 343 / 1382
» An algorithm for modelling key terms
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...
IS
2011
15 years 1 months ago
Checking determinism of XML Schema content models in optimal time
We consider the determinism checking of XML Schema content models, as required by the W3C Recommendation. We argue that currently applied solutions have flaws and make processors...
Pekka Kilpeläinen
ICIP
2006
IEEE
16 years 8 months ago
Predictive Modeling of Video Packet Delay in IP Networks
This paper studies linear prediction algorithms for packet-delay modeling. A detailed examination of the delay traces collected from video streams encoded at different bitrates, s...
Ali C. Begen, Mehmet A. Begen, Yucel Altunbasak
ICML
2007
IEEE
16 years 7 months ago
Revisiting probabilistic models for clustering with pair-wise constraints
We revisit recently proposed algorithms for probabilistic clustering with pair-wise constraints between data points. We evaluate and compare existing techniques in terms of robust...
Blaine Nelson, Ira Cohen
WWW
2008
ACM
16 years 7 months ago
Automatic web image selection with a probabilistic latent topic model
We propose a new method to select relevant images to the given keywords from images gathered from the Web based on the Probabilistic Latent Semantic Analysis (PLSA) model which is...
Keiji Yanai