5689 search results - page 707 / 1138 » A Performance Process Maturity Model |
181
click to vote
ENTCS
2002
15 years 6 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
134
click to vote
EUROMED
2010
15 years 5 months ago
2010
Abstract. In this paper an alternative method for measuring the Classic Marathon Course using photogrammetric methodology is presented and examined. The course is surveyed in stere...
187
click to vote
ACL
2010
15 years 5 months ago
2010
Current turn-taking approaches for spoken dialogue systems rely on the speaker releasing the turn before the other can take it. This reliance results in restricted interactions th...
248
click to vote
CVPR
2011
IEEE
14 years 10 months ago
2011
IEEE
We propose a novel nonlinear, probabilistic and variational method for adding shape information to level setbased segmentation and tracking. Unlike previous work, we represent sha...
183
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
This paper describes the use of machine learning to improve the performance of natural language question answering systems. We present a model for improving story comprehension th...