1403 search results - page 143 / 281 » Quantitative Interprocedural Analysis |
96
Voted
ICDM
2007
IEEE
15 years 7 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...
98
Voted
MM
2006
ACM
15 years 6 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...
96
Voted
HICSS
2005
IEEE
15 years 6 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...
101
Voted
ICRA
2005
IEEE
15 years 6 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 ...
100
Voted
DSVIS
2005
Springer
15 years 6 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...