Sciweavers

2703 search results - page 397 / 541
» Learning operational requirements from goal models
Sort
View
CCE
2004
15 years 6 months ago
Thermodynamic uncertainties in batch processing and optimal control
Batch distillation is an important separation process for small-scale production especially in pharmaceutical, specialty chemical and biochemical industries. Although batch distil...
Saadet Ulas, Urmila M. Diwekar
195
Voted
ICST
2010
IEEE
15 years 5 months ago
Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
Laya Madani, Virginia Papailiopoulou, Ioannis Pari...
268
Voted
SIGMOD
2009
ACM
189views Database» more  SIGMOD 2009»
16 years 7 months ago
Query segmentation using conditional random fields
A growing mount of available text data are being stored in relational databases, giving rise to an increasing need for the RDBMSs to support effective text retrieval. In this pape...
Xiaohui Yu, Huxia Shi
ICS
2007
Tsinghua U.
16 years 1 months ago
Locality of sampling and diversity in parallel system workloads
Observing the workload on a computer system during a short (but not too short) time interval may lead to distributions that are significantly different from those that would be o...
Dror G. Feitelson
165
Voted
NAACL
2003
15 years 8 months ago
Automatic Acquisition of Names Using Speak and Spell Mode in Spoken Dialogue Systems
This paper describes a novel multi-stage recognition procedure for deducing the spelling and pronunciation of an open set of names. The overall goal is the automatic acquisition o...
Grace Chung, Stephanie Seneff, Chao Wang