Sciweavers

3999 search results - page 245 / 800
» Design of Optical Access Systems using Computer Modeling
Sort
View
SAC
2009
ACM
16 years 1 months ago
LTS semantics for use case models
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of so...
Daniel Sinnig, Patrice Chalin, Ferhat Khendek
BMCBI
2008
87views more  BMCBI 2008»
15 years 6 months ago
Volume-based solvation models out-perform area-based models in combined studies of wild-type and mutated protein-protein interfa
Background: Empirical binding models have previously been investigated for the energetics of protein complexation (G models) and for the influence of mutations on complexation (i....
Salim Bougouffa, Jim Warwicker
VLSID
2002
IEEE
107views VLSI» more  VLSID 2002»
16 years 7 months ago
Automatic Model Refinement for Fast Architecture Exploration
We present a methodology and algorithms for automatic refinement from a given design specification to an architecture model based on decisions in architecture exploration. An arch...
Junyu Peng, Samar Abdi, Daniel Gajski
CHI
1997
ACM
15 years 10 months ago
A Computer Participant in Musical Improvisation
the changing roles of participants in a musical improvisation and synchronously generate appropriate contributions of its own. Musical improvisation is a collaborative activity ana...
William F. Walker
AUTOMATICA
2005
178views more  AUTOMATICA 2005»
15 years 6 months ago
Spacecraft attitude control using explicit model predictive control
In this paper, an explicit model predictive controller for the attitude of a satellite is designed. Explicit solutions to constrained linear MPC problems can be computed by solvin...
Øyvind Hegrenæs, Jan Tommy Gravdahl, ...