373 search results - page 41 / 75 » Analysis of Recursive State Machines |
ROMAN
2007
IEEE
15 years 4 months ago
2007
IEEE
–This paper presents a novel affect-sensitive human-robot interaction framework for rehabilitation of children with autism spectrum disorder (ASD) where the robot can detect the ...
APLAS
2010
ACM
14 years 8 months ago
2010
ACM
Live heap space analyses have so far been concerned with the standard sequential programming model. However, that model is not very well suited for embedded real-time systems, wher...
174
click to vote
POPL
2007
ACM
15 years 10 months ago
2007
ACM
This work presents a framework for fusing flow analysis and theorem proving called logic-flow analysis (LFA). The framework itthe reduced product of two abstract interpretations: ...
121
click to vote
ECEASST
2010
14 years 7 months ago
2010
Abstract: Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. Th...
ICMCS
2007
IEEE
15 years 4 months ago
2007
IEEE
Video Content is always huge by itself with abundant information. Extracting explicit semantic information has been extensively investigated such as object detection, structure an...