502 search results - page 26 / 101 » Development and Application of a Formal Agent Framework |
FMCAD
2007
Springer
15 years 3 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
DGO
2003
15 years 1 months ago
2003
Research advances in geospatial automated image analysis tools and feature extraction algorithms have matured in recent times to levels of practical applicability. The consolidati...
HAIS
2009
Springer
15 years 4 months ago
2009
Springer
A generic and extendible Multi-Agent Data Mining (MADM) framework, EMADS (the Extendible Multi-Agent Data mining System) is described. The central feature of the framework is that ...
NGITS
1999
Springer
15 years 4 months ago
1999
Springer
The integration of information from multiple databases has been an enduring subject of research for over 20 years, and many different solutions have been attempted or proposed. Mis...
IJFCS
2008
14 years 11 months ago
2008
We present an application of formal concept analysis aimed at representing a meaningful structure of knowledge communities in the form of a lattice-based taxonomy. The taxonomy gr...