5863 search results - page 870 / 1173 » On Model-Checking of P Systems |
161
click to vote
FLAIRS
1998
15 years 8 months ago
1998
Using an adequate representation is often the key to solve complex problems in Artificial Intelligence. Hierarchical shape representations are very convenient in domains -such as ...
176
click to vote
IWFM
1998
15 years 8 months ago
1998
We study strictly level-decreasing logic programs (sld-programs) as defined earlier by the present authors. It will be seen that sld-programs, unlike most other classes of logic p...
137
click to vote
WSC
1998
15 years 8 months ago
1998
Bayesian forecasting models provide distributional estimates for random parameters, and relative to classical schemes, have the advantage that they can rapidly capture changes in ...
186
click to vote
MMNS
1997
15 years 8 months ago
1997
Increased competition, complex service provision chains and integrated service offerings require effective techniques for the rapid integration of telecommunications services and ...
171
click to vote
TREC
2000
15 years 8 months ago
2000
The Mirror DBMS is a prototype database system especially designed for multimedia and web retrieval. From a database perspective, this year's purpose has been to check whethe...