1026 search results - page 172 / 206 » A Methodology for Equational Reasoning |
SIVP
2008
13 years 7 months ago
2008
Abstract The effective management and exploitation of multimedia documents requires the extraction of the underlying semantics. Multimedia analysis algorithms can produce fairly ri...
CORR
2004
Springer
13 years 7 months ago
2004
Springer
: The integration of different learning and adaptation techniques to overcome individual limitations and to achieve synergetic effects through the hybridization or fusion of these ...
CSCW
2000
ACM
13 years 7 months ago
2000
ACM
This paper asks the question: how might CSCW system design obtain and be informed by an adequate real-world, real-time understanding of work and organisation on any occasion of wor...
KI
2002
Springer
13 years 7 months ago
2002
Springer
: Experience Management (EM) is an area that is increasingly gaining importance. Its roots lie in Experimental Software Engineering ("Experience Factory"), in Artificial ...
TITB
2002
13 years 7 months ago
2002
This paper describes the initial stages of building an ontology of bioinformatics and molecular biology. The conceptualisation is encoded using the Ontology Inference Layer (OIL),...