4679 search results - page 746 / 936 » Modeling When Connections Are the Problem |
177
click to vote
ICDM
2007
IEEE
16 years 21 days ago
2007
IEEE
Tree edit distance is one of the most frequently used distance measures for comparing trees. When using the tree edit distance, we need to determine the cost of each operation, bu...
168
click to vote
ICRA
2007
IEEE
16 years 21 days ago
2007
IEEE
Abstract— Particle filters have been applied with great success to various state estimation problems in robotics. However, particle filters often require extensive parameter tw...
150
click to vote
CAV
2007
Springer
16 years 17 days ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...
148
click to vote
FMCAD
2007
Springer
16 years 17 days ago
2007
Springer
—When model-checking reports that a property holds on a model, vacuity detection increases user confidence in this result by checking that the property is satisfied in the inte...
143
click to vote
FOSSACS
2007
Springer
16 years 17 days ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...