Sciweavers

3199 search results - page 199 / 640
» Variability in Automation System Models
Sort
View
ICIP
2003
IEEE
16 years 8 months ago
Integrated segmentation and classification for automotive airbag suppression
The use of airbags into automobiles has significantly improved the safety of the occupants. Unfortunately, when airbags are deployed in the case of a crash, they can also cause fa...
Michael E. Farmer, Anil K. Jain
PLDI
2009
ACM
16 years 7 months ago
A decision procedure for subset constraints over regular languages
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
Pieter Hooimeijer, Westley Weimer
JCPHY
2011
133views more  JCPHY 2011»
14 years 9 months ago
A Riemann solver for single-phase and two-phase shallow flow models based on relaxation. Relations with Roe and VFRoe solvers
We present a Riemann solver derived by a relaxation technique for classical single-phase shallow flow equations and for a two-phase shallow flow model describing a mixture of so...
Marica Pelanti, François Bouchut, Anne Mang...
AAAI
2008
15 years 8 months ago
Exposing Parameters of a Trained Dynamic Model for Interactive Music Creation
As machine learning (ML) systems emerge in end-user applications, learning algorithms and classifiers will need to be robust to an increasingly unpredictable operating environment...
Dan Morris, Ian Simon, Sumit Basu
APSEC
2006
IEEE
16 years 16 days ago
Interaction Testing in Model-Based Development: Effect on Model-Coverage
Model-based software development is gaining interest in domains such as avionics, space, and automotives. The model serves as the central artifact for the development efforts (suc...
Renée C. Bryce, Ajitha Rajan, Mats Per Erik...