692 search results - page 88 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
ICFEM
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Errors in a requirements model have prolonged detrimental effects on reliability, cost, and safety of a software system. It is very costly to fix these errors in later ...
102
click to vote
MICCAI
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. So far, resting state functional connectivity (RSFC) has been performed mainly by seed correlation analysis (SCA) on functional MRI (fMRI) studies. In previous studies, t...
104
click to vote
CAISE
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Contemporary information systems struggle with the requirement to provide flexibility and process support while still enforcing some degree of control. Workflow managemen...
IROS
2009
IEEE
15 years 6 months ago
2009
IEEE
— EMG-to-force estimation for voluntary muscle contraction has many applications in human-machine interaction, motion analysis, and rehabilitation robotics for prosthetic limbs o...
ICIP
2009
IEEE
14 years 9 months ago
2009
IEEE
Cognitive systems are trained to recognise perceptually meaningful parts of an image. These regions contain some variation, i.e. local texture, and are roughly convex. We call suc...