Sciweavers

2894 search results - page 311 / 579
» Latent semantic analysis
Sort
View
CSL
2007
Springer
16 years 25 days ago
A Games Model of Bunched Implications
A game semantics of the (−−∗, →)-fragment of the logic of bunched implications, BI, is presented. To date, categorical models of BI have been restricted to two kinds: funct...
Guy McCusker, David J. Pym
OTM
2005
Springer
16 years 4 days ago
Creating Ontologies for Content Representation-The OntoSeed Suite
Abstract. Due to the inherent difficulties associated with manual ontology building, knowledge acquisition and reuse are often seen as methods that can make this tedious process ea...
Elena Paslaru Bontas, David Schlangen, Thomas Schr...
IFM
2004
Springer
185views Formal Methods» more  IFM 2004»
16 years 1 days ago
Object-Oriented Modelling with High-Level Modular Petri Nets
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
Cécile Bui Thanh, Hanna Klaudel
MKM
2004
Springer
16 years 19 hour ago
CPoint: Dissolving the Author's Dilemma
Abstract. Automated knowledge management techniques critically depend on the availability of semantically enhanced documents which are hard to come by in practice. Starting from a ...
Andrea Kohlhase, Michael Kohlhase
CIVR
2003
Springer
127views Image Analysis» more  CIVR 2003»
15 years 12 months ago
Detection of Documentary Scene Changes by Audio-Visual Fusion
The concept of a documentary scene was inferred from the audio-visual characteristics of certain documentary videos. It was observed that the amount of information from the visual ...
Atulya Velivelli, Chong-Wah Ngo, Thomas S. Huang