9455 search results - page 1651 / 1891 » The Modelling Language Zinc |
162
Voted
TASLP
2002
15 years 5 months ago
2002
Abstract--We describe some high-level approaches to estimating confidence scores for the words output by a speech recognizer. By "high-level" we mean that the proposed me...
178
click to vote
TJS
2002
15 years 5 months ago
2002
The Center for Simulating Dynamic Response of Materials at the California Institute of Technology is constructing a virtual shock physics facility for studying the response of vari...
173
click to vote
TSE
2002
15 years 5 months ago
2002
Software system documentation is almost always expressed informally in natural language and free text. Examples include requirement specifications, design documents, manual pages, ...
164
Voted
PVLDB
2008
15 years 5 months ago
2008
Abstract Existing solutions to the automated physical design problem in database systems attempt to minimize execution costs of input workloads for a given storage constraint. In t...
191
Voted
SAC
2008
ACM
15 years 5 months ago
2008
ACM
In Software Product Lines (SPLs), product configuration is a decision-making process in which a group of stakeholders choose features for a product. Unfortunately, current configu...