4902 search results - page 184 / 981 » Structures, Semantics and Statistics |
141
click to vote
DOCENG
2004
ACM
15 years 9 months ago
2004
ACM
Enabling an intelligent access to multimedia data requires a powerful description language. In this paper, we demonstrate why the MPEG-7 standard fails to fulfill this task. We i...
158
click to vote
SIGIR
2004
ACM
15 years 9 months ago
2004
ACM
Document representation and indexing is a key problem for document analysis and processing, such as clustering, classification and retrieval. Conventionally, Latent Semantic Index...
130
click to vote
RIAO
2007
15 years 5 months ago
2007
Web semantic access in specific domains calls for specialized search engines with enhanced semantic querying and indexing capacities, which pertain both to information retrieval (...
125
click to vote
PLILP
1995
Springer
15 years 8 months ago
1995
Springer
We use Girard's linear logic (LL) to produce a semantics for Gamma, a multiset transformation language. The semantics improves on the existing structured operational semantics...
141
click to vote
MFCS
1998
Springer
15 years 8 months ago
1998
Springer
We develop a control flow analysis for the Imperative Object Calculus. We prove the correctness with respect to two Structural Operational Semantics that differ in minor technical ...