5015 search results - page 772 / 1003 » Model Checking a Path |
175
click to vote
CAGD
2004
15 years 6 months ago
2004
We consider the ICP (iterative closest point) algorithm, which may in general be used for moving `active' elements such as curves and surfaces towards geometric objects whose...
191
click to vote
COLING
2000
15 years 6 months ago
2000
Speech repairs occur often in spontaneous spoken dialogues. The ability to detect and correct those repairs is necessary for any spoken language system. We present a framework to ...
166
click to vote
CPC
2002
15 years 6 months ago
2002
The Wiener index is analyzed for random recursive trees and random binary search trees in the uniform probabilistic models. We obtain the expectations, asymptotics for the varianc...
142
click to vote
IJCM
2002
15 years 6 months ago
2002
In Layered Manufacturing (LM), a prototype of a virtual polyhedral object is built by slicing the object into polygonal layers, and then building the layers one after another. In ...
142
click to vote
RV
2010
Springer
15 years 4 months ago
2010
Springer
Execution paths expose non-functional information such as system reliability and performance, which can be collected using runtime verification techniques. Statistics gathering an...