1624 search results - page 110 / 325 » Modelling Variability for System Families |
BMCBI
2002
13 years 11 months ago
2002
Background: Most profile and motif databases strive to classify protein sequences into a broad spectrum of protein families. The next step of such database studies should include ...
DAGM
2005
Springer
14 years 4 months ago
2005
Springer
In this paper, we employ a zero-order local deformation model to model the visual variability of video streams of American sign language (ASL) words. We discuss two possible ways o...
MOC
2002
13 years 10 months ago
2002
Viscous profiles of shock waves in systems of conservation laws can be viewed as heteroclinic orbits in associated systems of ordinary differential equations (ODE). In the case of ...
ATVA
2007
Springer
14 years 5 months ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
MOMPES
2007
IEEE
14 years 5 months ago
2007
IEEE
The alignment of the software architecture and the functional requirements of a system is a demanding task because of the difficulty in tracing design elements to requirements. Th...