Sciweavers

10568 search results - page 81 / 2114
» Computer Intelligence and Formalization
Sort
View
128
Voted
FLAIRS
1998
15 years 4 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
113
Voted
CORR
2010
Springer
137views Education» more  CORR 2010»
15 years 2 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
119
Voted
ATAL
2006
Springer
15 years 6 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...
127
Voted
BIOINFORMATICS
2007
72views more  BIOINFORMATICS 2007»
15 years 2 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