Sciweavers

3207 search results - page 63 / 642
» A Semantics for HTN Methods
Sort
View
ESOP
2012
Springer
12 years 5 months ago
Complete Monitors for Behavioral Contracts
Abstract. A behavioral contract in a higher-order language may invoke methods of unknown objects. Although this expressive power allows programmers to formulate sophisticated contr...
Christos Dimoulas, Sam Tobin-Hochstadt, Matthias F...
ICMCS
2005
IEEE
89views Multimedia» more  ICMCS 2005»
14 years 3 months ago
Semantic Knowledge Building for Image Database by Analyzing Web Page Contents
In this paper, we present a method of semantic knowledge building for image database by extracting semantic meanings from Web page contents. The novelty of our method is that it i...
Yung-Kwang Lai, Song Liu, Liang-Tien Chia, Syin Ch...
CLA
2004
13 years 11 months ago
Concept Lattice Generation by Singular Value Decomposition
Abstract. Latent semantic indexing (LSI) is an application of numerical method called singular value decomposition (SVD), which discovers latent semantic in documents by creating c...
Petr Gajdos, Pavel Moravec, Václav Sn&aacut...
IJBRA
2008
88views more  IJBRA 2008»
13 years 10 months ago
GOSAP: Gene Ontology-Based Semantic Alignment of Biological Pathways
A large number of biological pathways have been assembled in later years, and are being stored in databases. Hence, the need for methods to analyse these pathways has emerged. One ...
Jonas Gamalielsson, Björn Olsson
MIR
2006
ACM
150views Multimedia» more  MIR 2006»
14 years 3 months ago
Exploring temporal consistency for video analysis and retrieval
Temporal consistency is ubiquitous in video data, where temporally adjacent video shots usually share similar visual and semantic content. This paper presents a thorough study of ...
Jun Yang 0003, Alexander G. Hauptmann