Sciweavers

1415 search results - page 173 / 283
» Verified systems by composition from verified components
Sort
View
CCE
2007
15 years 6 months ago
Performance monitoring of industrial controllers based on the predictability of controller behavior
This study focuses on performance assessment of industrial controllers. A methodology based on the concept of the predictability of controller errors is proposed for performance m...
Rachid A. Ghraizi, Ernesto Martínez, C&eacu...
IVC
2002
137views more  IVC 2002»
15 years 6 months ago
A color coding method for radiographic images
A color scale was designed with an approach that combined both human visual response to color and physical properties of color. The design was initiated with a subjective evaluati...
Xie-Qi Shi, Pehr Sällström, Ulf Welander
AUSAI
2010
Springer
15 years 5 months ago
Pushing the Envelope: General Game Players Prove Theorems
A general game player is a system that can play previously unknown games given nothing but their rules. A key to success in this endeavour is the ability to automatically gain know...
Sebastian Haufe, Michael Thielscher
CORR
2010
Springer
116views Education» more  CORR 2010»
15 years 4 months ago
Automatic Performance Debugging of SPMD Parallel Programs
Different from sequential programs, parallel programs possess their own characteristics which are difficult to analyze in the multi-process or multi-thread environment. This paper...
Xu Liu, Lin Yuan, Jianfeng Zhan, Bibo Tu, Dan Meng
IWEC
2010
15 years 4 months ago
Investigating the Affective Quality of Motion in User Interfaces to Improve User Experience
This study focuses on motion in user interfaces as a design element which can contribute to an improved user experience of digital media entertainment. The design for user experien...
Doyun Park, Ji-Hyun Lee