Sciweavers

3047 search results - page 330 / 610
» Aggregation functions: Means
Sort
View
GECCO
2009
Springer
144views Optimization» more  GECCO 2009»
15 years 11 months ago
Using automated search to generate test data for matlab
The critical functionality of many software applications relies on code that performs mathematically complex computations. However, such code is often difficult to test owing to t...
Sion Ll Rhys, Simon M. Poulding, John A. Clark
129
Voted
ICMI
2009
Springer
138views Biometrics» more  ICMI 2009»
15 years 11 months ago
Dialog in the open world: platform and applications
We review key challenges of developing spoken dialog systems that can engage in interactions with one or multiple participants in relatively unconstrained environments. We outline...
Dan Bohus, Eric Horvitz
PPDP
2009
Springer
15 years 11 months ago
Dependent type inference with interpolants
We propose a novel type inference algorithm for a dependentlytyped functional language. The novel features of our algorithm are: (i) it can iteratively refine dependent types wit...
Hiroshi Unno, Naoki Kobayashi
136
Voted
CBMS
2008
IEEE
15 years 11 months ago
MapFace - An Editor for MetaMap Transfer (MMTx)
Mapping concepts from medical terminologies, such as the UMLS, to medical documents is a prerequisite for many tasks of (automatically) processing documents. Due to the nature of ...
Katharina Kaiser, Theresia Gschwandtner, Patrick M...
CDC
2008
IEEE
117views Control Systems» more  CDC 2008»
15 years 11 months ago
Stability of model predictive control based on reduced-order models
— In this paper, we present a systematic procedure for obtaining closed-loop stable output-feedback model predictive control based on reduced-order models. The design uses linear...
Svein Hovland, Christian Løvaas, Jan Tommy ...