9067 search results - page 1496 / 1814 » Adaptive Model Checking |
191
click to vote
WOA
2003
15 years 8 months ago
2003
— Agentcities is a network of FIPA compliant agent platforms that constitute a distributed environment to demonstrate the potential of autonomous agents. One of the aims of the p...
206
click to vote
IADT
1998
15 years 8 months ago
1998
Multimedia Database Management Systems (MMDBMS) have to efficiently provide the specific functionalities required by time-dependent multimedia data types. During presentation play...
226
click to vote
LMO
2000
15 years 8 months ago
2000
The development of flexible and reusable concurrent object-oriented programming ions has suffered from the inherent problem that reusability and extensibility is limited due to pos...
239
click to vote
PAKM
2000
15 years 8 months ago
2000
This paper presents a knowledge-sharing framework for achieving effective knowledge reuse within industrial organisations. This knowledge re-use paradigm goes beyond traditional e...
174
click to vote
AIPS
1994
15 years 8 months ago
1994
MostAI representations and algorithms for plan generation havenot included the concept of informationproducingactions (also called diagnostics, or tests, in the decision making li...