Sciweavers

2576 search results - page 107 / 516
» Methodology work is ontology work
Sort
View
CAISE
2005
Springer
15 years 12 months ago
The Logic of Correctness in Software Engineering
Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...
Mark Priestly
MVA
2007
124views Computer Vision» more  MVA 2007»
15 years 7 months ago
The Agent WiSARD Approach to Intelligent Active Video Surveillance Systems
The Agent WiSARD methodology for intelligent active video surveillance systems is proposed in this paper. The hybrid neurosymbolic system (called ISIDIS) is based on the integrati...
Massimo De Gregorio
AROBOTS
2006
84views more  AROBOTS 2006»
15 years 6 months ago
Mobile robot olfaction
This article identifies problems frequently found in mobile robot olfaction and proposes a set of good experimental methodologies for common tasks addressed in this field. These me...
Lino Marques, Anibal T. de Almeida
PPSWR
2005
Springer
15 years 12 months ago
Semantic Web Architecture: Stack or Two Towers?
Abstract. We discuss language architecture for the Semantic Web, and in particular different proposals for extending this architecture with a rules component. We argue that an arch...
Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneid...
BMCBI
2008
124views more  BMCBI 2008»
15 years 6 months ago
Ontology-based, Tissue MicroArray oriented, image centered tissue bank
Background: Tissue MicroArray technique is becoming increasingly important in pathology for the validation of experimental data from transcriptomic analysis. This approach produce...
Federica Viti, Ivan Merelli, Andrea Caprera, Barba...