3365 search results - page 608 / 673 » Digital System Design: Architectures, Methods and Tools |
MODELS
2009
Springer
15 years 6 months ago
2009
Springer
Product line engineering is an emerging paradigm of developing a family of products. While product line analysis and design mainly focus on reasoning about commonality and variabi...
113
click to vote
ICMI
2005
Springer
15 years 5 months ago
2005
Springer
Current methods of playlist creation and maintenance do not support user needs, especially in a mobile context. Furthermore, they do not scale: studies show that users with large ...
VSTTE
2005
Springer
15 years 5 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
130
click to vote
KDD
2008
ACM
16 years 7 days ago
2008
ACM
Many time series prediction methods have focused on single step or short term prediction problems due to the inherent difficulty in controlling the propagation of errors from one ...
109
click to vote
ISVC
2009
Springer
15 years 6 months ago
2009
Springer
While realistic illumination significantly improves the visual quality and perception of rendered images, it is often very expensive to compute. In this paper, we propose a new al...