1624 search results - page 255 / 325 » Modelling Variability for System Families |
150
click to vote
ATVA
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
105
Voted
AIPS
1994
15 years 3 months ago
1994
In this work we present an approach to solving time-critical decision-making problems by taking advantage of domain structure to expand the amountof time available for processing ...
118
Voted
SIGDIAL
2010
15 years 13 days ago
2010
Older adults are a challenging user group because their behaviour can be highly variable. To the best of our knowledge, this is the first study where dialogue strategies are learn...
DAC
2008
ACM
16 years 3 months ago
2008
ACM
Spatially-correlated intra-die process variations result in significant core-to-core frequency variations in chip-multiprocessors. An analytical model for frequency island chip-mu...
98
Voted
ICRA
2006
IEEE
15 years 8 months ago
2006
IEEE
- This paper describes the development of an Adaptive Non-linear PI Torque Control for electro-rheological fluid (ERF) based variable resistance brakes that are used in compact and...