5863 search results - page 1048 / 1173 » On Model-Checking of P Systems |
138
click to vote
ICDAR
1995
IEEE
15 years 7 months ago
1995
IEEE
This paper describes substantial advances in the analysis (parsing) of diagrams using constraint grammars. The addition of set types to the grammar and spatial indexing of the dat...
137
click to vote
ISLPED
1995
ACM
15 years 7 months ago
1995
ACM
Analog techniques can lead to ultra-efficient computational systems when applied to the right applications. The problem of associative memory is well suited to array-based analog ...
122
click to vote
PODC
1995
ACM
15 years 7 months ago
1995
ACM
The Horus system supports a communication architecture ats protocols as instances of an abstract data type. This approach encourages developers to partition complex protocols into...
120
click to vote
AAAI
2008
15 years 6 months ago
2008
Most algorithms for computing diagnoses within a modelbased diagnosis framework are deterministic. Such algorithms guarantee soundness and completeness, but are P 2 hard. To overc...
142
click to vote
AAAI
2007
15 years 6 months ago
2007
Graphical games capture some of the key aspects relevant to the study and design of multi-agent systems. It is often of interest to find the conditions under which a game is stab...