Sciweavers

4348 search results - page 331 / 870
» Using UML for Modeling Complex Real-Time Systems
Sort
View
SLE
2009
Springer
16 years 1 months ago
Composing Feature Models
Feature modeling is a widely used technique in Software Product Line development. Feature models allow stakeholders to describe domain concepts in terms of commonalities and diffe...
Mathieu Acher, Philippe Collet, Philippe Lahire, R...
CEC
2009
IEEE
15 years 11 months ago
A parallel genetic algorithm for protein folding prediction using the 3D-HP Side Chain model
— This work presents a methodology for the application of a parallel genetic algorithm (PGA) to the problem of protein folding prediction, using the 3DHP-Side Chain model. This m...
César Manuel Vargas Benítez, Heitor ...
FOSSACS
2001
Springer
15 years 11 months ago
On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...
Rémi Morin
174
Voted
IROS
2008
IEEE
211views Robotics» more  IROS 2008»
16 years 1 months ago
GP-BayesFilters: Bayesian filtering using Gaussian process prediction and observation models
Abstract— Bayesian filtering is a general framework for recursively estimating the state of a dynamical system. The most common instantiations of Bayes filters are Kalman filt...
Jonathan Ko, Dieter Fox
TOG
2008
106views more  TOG 2008»
15 years 6 months ago
Fast modal sounds with scalable frequency-domain synthesis
Audio rendering of impact sounds, such as those caused by falling objects or explosion debris, adds realism to interactive 3D audiovisual applications, and can be convincingly ach...
Nicolas Bonneel, George Drettakis, Nicolas Tsingos...