7311 search results - page 1102 / 1463 » Time in State Machines |
222
Voted
TSE
2008
15 years 7 months ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
184
Voted
TSMC
2008
15 years 7 months ago
2008
This paper deals with the development of a computer model to estimate the subjective workload score of individuals by evaluating their heart-rate (HR) signals. The identification o...
236
Voted
CVIU
2007
15 years 7 months ago
2007
The problem of face detection remains challenging because faces are non-rigid objects that have a high degree of variability with respect to head rotation, illumination, facial ex...
222
Voted
MONET
2007
15 years 7 months ago
2007
We describe a prototype Context Aware Perioperative Information System to capture and interpret data in an operating room of the future. The captured data is used to construct the...
233
Voted
C3S2E
2010
ACM
15 years 6 months ago
2010
ACM
MATLAB is a popular language for scientific computation. Effectively compiling MATLAB presents many challenges due to the dynamic nature of the language. We present McLab, an ext...