3457 search results - page 87 / 692 » A Symbol Is Not a Symbol |
94
Voted
ATVA
2006
Springer
15 years 4 months ago
2006
Springer
Chaining can reduce the number of iterations required for symbolic state-space generation and model-checking, especially in Petri nets and similar asynchronous systems, but require...
109
click to vote
ISSTA
1998
ACM
15 years 4 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
85
Voted
ICS
1995
Tsinghua U.
15 years 4 months ago
1995
Tsinghua U.
In this paper, we present a GSA-based technique that performs more e cient and more precise symbolic analysis of predicated assignments, recurrences and index arrays. The e ciency...
CLIMA
2004
15 years 2 months ago
2004
Abstract. Negotiation over resources and multi-agent planning are important issues in multi-agent systems research. It has been demonstrated [19] how symbolic negotiation and distr...
234
click to vote
DAGSTUHL
2006
15 years 2 months ago
2006
We describe the challenge of combining continuous computer vision techniques and qualitative, symbolic methods to achieve a system capable of cognitive vision. Key to a truly cogni...