2584 search results - page 307 / 517 » On the Forward Checking Algorithm |
182
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
There are numerous applications such as air traffic management, cellular phone location tracking, and vehicle protection systems where there is a critical need to reason about mo...
144
click to vote
TACAS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...
149
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
Symbolic techniques usually use characteristic functions for representing sets of states. Boolean functional vectors provide an alternate set representation which is suitable for ...
143
click to vote
ASIAN
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. A coinduction-based technique to generate an optimal monitor from a Linear Temporal Logic (LTL) formula is presented in this paper. Such a monitor receives a sequence of ...
150
click to vote
ISCIS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In this paper, we introduce the composition problem associated with object-based video coding and propose a solution to this problem. Although the object-based rate contr...