Sciweavers

2894 search results - page 121 / 579
» Latent semantic analysis
Sort
View
CONCUR
2005
Springer
14 years 2 months ago
A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs
Abstract. In this paper we show how to compress efficiently the statespace of a concurrent system (here applied to a simple shared memory model, but this is no way limited to that ...
Eric Goubault, Emmanuel Haucourt
JISE
1998
106views more  JISE 1998»
13 years 8 months ago
Control / Data-Flow Analysis for VHDL Semantic Extraction
straction reduces the number of states necessary to perform formal verification while maintaining the functionality of the original model with respect to ifications to be verified....
Yee-Wing Hsieh, Steven P. Levitan
DOCENG
2003
ACM
14 years 2 months ago
Methods for the semantic analysis of document markup
We present an approach on how to investigate what kind of semantic information is regularly associated with the structural markup of scientific articles. This approach addresses ...
Petra Saskia Bayerl, Harald Lüngen, Daniela G...
CVIU
2011
13 years 12 days ago
A comparative study of object-level spatial context techniques for semantic image analysis
Abstract—In this paper, three approaches to utilizing objectlevel spatial contextual information for semantic image analysis are presented and comparatively evaluated. Contextual...
Georgios Th. Papadopoulos, Carsten Saathoff, Hugo ...
ADC
2007
Springer
124views Database» more  ADC 2007»
14 years 3 months ago
Interoperability for Geospatial Analysis: a Semantics and Ontology-based Approach
Information extraction and integration from heterogeneous, autonomous data resources are major requirements for many spatial applications. Geospatial analysis for scientific disco...
Zarine Kemp, Lei Tan, Jacqueline L. Whalley