2117 search results - page 78 / 424 » A Metadata Model for Capturing Presentations |
KDD
2000
ACM
13 years 11 months ago
2000
ACM
To improve the accuracy in terms of precision and recall of an audio information retrieval system we have created a domainspecific ontology (a collection of key concepts and their...
MODELS
2009
Springer
14 years 2 months ago
2009
Springer
The second ACES-MB workshop brought together researchers and practitioners interested in model-based software engineering for realtime embedded systems, with a particular focus on ...
UTP
2010
13 years 6 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
CDVE
2006
Springer
13 years 12 months ago
2006
Springer
Knowledge Management (KM) is a complex objective, especially in the instance of extended enterprises consisting of SMEs, and critical in new product design and development (NPD). T...
TACAS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...