1403 search results - page 143 / 281 » Quantitative Interprocedural Analysis |
ICDM
2007
IEEE
14 years 4 months ago
2007
IEEE
We develop a quantitative method to assess the style of American poems and to visualize a collection of poems in relation to one another. Qualitative poetry criticism helped guide...
MM
2006
ACM
14 years 4 months ago
2006
ACM
This paper presents a novel real-time, multi-modal biofeedback system for stoke patient therapy. The problem is important as traditional mechanisms of rehabilitation are monotonou...
HICSS
2005
IEEE
14 years 4 months ago
2005
IEEE
Substantial financial and technological investments by private and public organizations have resulted in the delivery of the third generation mobile technologies, although the jou...
ICRA
2005
IEEE
14 years 3 months ago
2005
IEEE
- Human beings cannot control a position of sphere on the disk without seeing it. Because under such a condition, as we determine the position and estimate the motion of sphere by ...
DSVIS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...