280 search results - page 55 / 56 » Statistical Model Checking of Black-Box Probabilistic System... |
WWW
2005
ACM
14 years 6 months ago
2005
ACM
The Rich News system, that can automatically annotate radio and television news with the aid of resources retrieved from the World Wide Web, is described. Automatic speech recogni...
FCCM
2003
IEEE
13 years 10 months ago
2003
IEEE
Hardware simulation of channel codes offers the potential of improving code evaluation speed by orders of magnitude over workstation- or PC-based simulation. We describe a hardwar...
KDD
2009
ACM
14 years 5 months ago
2009
ACM
Behavioral targeting (BT) leverages historical user behavior to select the ads most relevant to users to display. The state-of-the-art of BT derives a linear Poisson regression mo...
ICASSP
2011
IEEE
12 years 9 months ago
2011
IEEE
In many contexts, one is confronted with the problem of extracting information from large amounts of different types soft data (e.g., text) and hard data (from e.g., physics-based...
OOPSLA
2005
Springer
13 years 10 months ago
2005
Springer
It is well documented that software product cost estimates are notoriously inaccurate across the software industry. Creating accurate cost estimates for software product developme...