Sciweavers

757 search results - page 88 / 152
» agents 2000
Sort
View
101
Voted
AAAI
2000
15 years 1 months ago
An Iterative Algorithm for Synthesizing Invariants
We present a general algorithm for synthesizing state invariants that speed up automated planners and have other applications in reasoning about change. Invariants are facts that ...
Jussi Rintanen
MABS
2000
Springer
15 years 4 months ago
The Use of Models - Making MABS More Informative
g of target systems attempted but rather an abstraction of the target systems is modelled and insights bout the abstraction then applied back to the target systems. The MABS modell...
Bruce Edmonds
80
Voted
AAAI
2000
15 years 1 months ago
An Interval Algebra for Indeterminate Time
Temporal indeterminacy is an inherent problem which arises when capturing and manipulating temporal data in many application areas. As such, representation and manipulation of tim...
Wes Cowley, Dimitris Plexousakis
CONCURRENCY
2000
123views more  CONCURRENCY 2000»
15 years 11 days ago
A mobile agent based push methodology for global parallel computing
The 1990s are seeing the explosive growth of the Internet and Web-based information sharing and dissemination systems. The Internet is also showing a potential of forming of a sup...
Cheng-Zhong Xu, Brian Wims
AAAI
2000
15 years 1 months ago
Multivariate Clustering by Dynamics
We present a Bayesian clustering algorithm for multivariate time series. A clustering is regarded as a probabilistic model in which the unknown auto-correlation structure of a tim...
Marco Ramoni, Paola Sebastiani, Paul R. Cohen