Sciweavers

2237 search results - page 121 / 448
» Advanced Prosody Modelling
Sort
View
VLDB
2004
ACM
96views Database» more  VLDB 2004»
16 years 5 months ago
Multidimensional data modeling for location-based services
With the recent and continuing advances in areas such as wireless communications and positioning technologies, mobile, locationbased services are becoming possible. Such services ...
Christian S. Jensen, Augustas Kligys, Torben Bach ...
ATVA
2009
Springer
117views Hardware» more  ATVA 2009»
15 years 11 months ago
UnitCheck: Unit Testing and Model Checking Combined
Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., verification of device drivers by Slam), the code model checking t...
Michal Kebrt, Ondrej Sery
IEEEARES
2008
IEEE
15 years 11 months ago
Reliability Analysis using Graphical Duration Models
Reliability analysis has become an integral part of system design and operating. This is especially true for systems performing critical tasks such as mass transportation systems....
Roland Donat, Laurent Bouillaut, Patrice Aknin, Ph...
GLOBECOM
2007
IEEE
15 years 11 months ago
An Analytical Model for a Book-Ahead Bandwidth Scheduler
— Optical networks with book-ahead bandwidth schedulers are being deployed to meet the high-speed and predictable-service networking requirements of applications in the scienti...
Xiangfei Zhu, Mark E. McGinley, Tao Li, Malathi Ve...
ICDM
2007
IEEE
173views Data Mining» more  ICDM 2007»
15 years 11 months ago
Sparse Word Graphs: A Scalable Algorithm for Capturing Word Correlations in Topic Models
Statistical topic models such as the Latent Dirichlet Allocation (LDA) have emerged as an attractive framework to model, visualize and summarize large document collections in a co...
Ramesh Nallapati, Amr Ahmed, William W. Cohen, Eri...