Sciweavers

2024 search results - page 153 / 405
» The Meaning of Ordered SOS
Sort
View
CLA
2004
15 years 8 months ago
Ontology Design with Formal Concept Analysis
Ontologies, often defined as an explicit specification of conceptualization, are necessary for knowledge representation and knowledge exchange. Usually this means that ontology des...
Marek Obitko, Václav Snásel, Jan Smi...
DAGSTUHL
2006
15 years 8 months ago
Structural Descriptors for 3D Shapes
Assessing the similarity among 3D shapes is a challenging research topic, and effective shape descriptions have to be devised in order to support the matching process. There is a ...
Michela Spagnuolo, Silvia Biasotti, Bianca Falcidi...
IASTEDSE
2004
15 years 8 months ago
Does active guidance improve software inspections? A preliminary empirical study
Inspections are an established quality assurance technique. In order to optimize the inspection approach, different reading techniques, such as checklist-based reading and scenari...
Christian Denger, Marcus Ciolkowski, Filippo Lanub...
APPINF
2003
15 years 8 months ago
Towards Modelling an Intelligent Calendar Agent with LUPS
We present an application prototype of dynamic knowledge representation programmed in LUPS (a language for updating logic programs). This is a case study to model intelligent agen...
Juan Carlos Acosta Guadarrama, Mauricio Javier Oso...
AUSFORENSICS
2003
15 years 8 months ago
ECF - Event Correlation for Forensics
The focus of the research described in this paper is on the nature of the event information provided in commonly available computer and other logs and the extent to which it is po...
George M. Mohay, Kevin Chen, Andrew Clark