Sciweavers

1253 search results - page 72 / 251
» Exploration Testing
Sort
View
134
Voted
NSDI
2004
15 years 3 months ago
Model Checking Large Network Protocol Implementations
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....
Madanlal Musuvathi, Dawson R. Engler
100
Voted
ICASSP
2009
IEEE
15 years 9 months ago
Language model parameter estimation using user transcriptions
In limited data domains, many effective language modeling techniques construct models with parameters to be estimated on an in-domain development set. However, in some domains, no...
Bo-June Paul Hsu, James R. Glass
GRAPHITE
2007
ACM
15 years 6 months ago
Squidsoup
: Communicating the ethos of a subject (e.g. a brand or cultural or historical narrative) within an environment, such as a museum or visitor centre, is often undermined by the poor...
Anthony Rowe
ICWSM
2008
15 years 4 months ago
An Automatic Classification of Book Texts to User-Defined Tags
We describe work on automatically assigning labels to books using user-defined tags as the label set. Using supervised learning and exploring both binary and multiclass classifica...
Sharon Givon, Theresa Wilson
PUC
2002
85views more  PUC 2002»
15 years 2 months ago
Everyday Life as a Stage in Creating and Performing Scenarios for Wireless Devices
: Scenarios in HCI are widely used and discussed as written or visual narratives. In this paper, we discuss fruitful conditions for the creation and performance of scenarios partic...
Giulio Iacucci, Kari Kuutti