2661 search results - page 243 / 533 » Model Checking Performability Properties |
105
click to vote
PERCOM
2008
ACM
16 years 2 months ago
2008
ACM
The field of pervasive computing has seen a lot of exciting innovations in the past few years. However, there are currently no mechanisms for describing the properties and capabil...
123
click to vote
CVPR
2010
IEEE
15 years 10 months ago
2010
IEEE
Automatically assigning relevant text keywords to images is an important problem. Many algorithms have been proposed in the past decade and achieved good performance. Efforts have...
104
click to vote
IJCNN
2008
IEEE
15 years 9 months ago
2008
IEEE
— The purpose of this study was to develop a product design model for impact toughness estimation of low-alloy steel plates. Based on these estimates, the rejection probability o...
121
Voted
ACSD
2006
IEEE
15 years 4 months ago
2006
IEEE
Networks on chip platforms offer the opportunity to introduce a new abstraction level that defines a set of platform services with performance and power characteristics. By making...
122
click to vote
SCL
2010
15 years 1 months ago
2010
— Cooperative distributed model predictive control has recently been shown to provide stabilizing feedback for plants composed of any finite number of dynamically coupled subsys...