Sciweavers

10568 search results - page 81 / 2114
» Computer Intelligence and Formalization
Sort
View
FLAIRS
1998
14 years 11 months ago
A Formal Framework for the Objective Evaluation of Edge Detectors
Edge detection is one of the most-studied problems in the field of computervision. However,there is no standard method of objectively and accurately evaluating the performance of ...
Sean Dougherty, Kevin W. Bowyer
CORR
2010
Springer
137views Education» more  CORR 2010»
14 years 9 months ago
LEXSYS: Architecture and Implication for Intelligent Agent systems
s LEXSYS, (Legume Expert System) was a project conceived at IITA (International Institute of Tropical Agriculture) Ibadan Nigeria. It was initiated by the COMBS (Collaborative Grou...
Charles A. B. Robert
ATAL
2006
Springer
15 years 1 months ago
Hierarchical planning in BDI agent programming languages: a formal approach
This paper provides a general mechanism and a solid theoretical basis for performing planning within Belief-Desire-Intention (BDI) agents. BDI agent systems have emerged as one of...
Sebastian Sardiña, Lavindra de Silva, Lin P...
BIOINFORMATICS
2007
72views more  BIOINFORMATICS 2007»
14 years 10 months ago
The qualitative and time-dependent character of spatial relations in biomedical ontologies
The formal representation of mereological aspects of canonical anatomy (parthood relations) is relatively well understood. The formal representation of other aspects of canonical ...
Thomas Bittner, Louis J. Goldberg