911 search results - page 150 / 183 » Combining programs and state machines |
C3S2E
2010
ACM
13 years 7 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...
RV
2010
Springer
13 years 7 months ago
2010
Springer
This tutorial deals with runtime enforcement which is an extension of runtime verification aiming to circumvent misbehaviors of systems. After an historical overview of previous a...
JCIT
2010
13 years 3 months ago
2010
This review paper presents an overview of the current state of the art in Problem Solving Environments (PSE). PSE provides integrated human-friendly innovative computational servi...
ECCV
2002
Springer
14 years 10 months ago
2002
Springer
The detection of people is one of the foremost problems for indexing, browsing and retrieval of video. The main difficulty is the large appearance variations caused by action, clot...
AIME
2007
Springer
14 years 2 months ago
2007
Springer
Many machines used in the modern hospital settings offer real time physiological monitoring. Haemodialysis machines combine a therapeutic treatment system integrated with sophistic...