Sciweavers

2894 search results - page 199 / 579
» Latent semantic analysis
Sort
View
156
Voted
WWW
2008
ACM
16 years 6 months ago
Circular context-based semantic matching to identify web service composition
This paper provides initial analysis in identifying possible Web services composition using context-based semantic matching. Context-based semantic matching allows service composi...
Aviv Segev
PPDP
2007
Springer
15 years 12 months ago
Relational semantics for effect-based program transformations with dynamic allocation
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
Nick Benton, Andrew Kennedy, Lennart Beringer, Mar...
CIVR
2007
Springer
158views Image Analysis» more  CIVR 2007»
15 years 9 months ago
How many high-level concepts will fill the semantic gap in news video retrieval?
A number of researchers have been building high-level semantic concept detectors such as outdoors, face, building, etc., to help with semantic video retrieval. Using the TRECVID v...
Alexander G. Hauptmann, Rong Yan, Wei-Hao Lin
DOCENG
2011
ACM
14 years 5 months ago
Interoperable metadata semantics with meta-metadata: a use case integrating search engines
A use case involving integrating results from search engines illustrates how the meta-metadata language facilitates interoperable metadata semantics. Formal semantics can be hard ...
Yin Qu, Andruid Kerne, Andrew M. Webb, Aaron Herst...
ICSE
2007
IEEE-ACM
16 years 6 months ago
A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler
The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or c...
Patrice Chalin