5451 search results - page 322 / 1091 » Typed Operational Semantics |
131
click to vote
ICDE
1993
IEEE
15 years 9 months ago
1993
IEEE
An iterator is proposed that allows to apply sequences of update operations in a set-oriented way with deterministic semantics. Because the mechanism is independent of a particula...
176
click to vote
LANMR
2004
15 years 6 months ago
2004
Hybrid probabilistic programs framework [5] is a variation of probabilistic annotated logic programming approach, which allows the user to explicitly encode the available knowledge...
126
click to vote
LREC
2010
15 years 6 months ago
2010
We propose a methodology for a novel type of discourse annotation whose model is tuned to the analysis of a text as narrative. This is intended to be the basis of a "story ba...
127
click to vote
TRECVID
2008
15 years 6 months ago
2008
We describe our experiments for the High-level Feature Extraction (FE) and Search (SE) tasks. We submitted two automatic runs to the FE task, the first one (MMIS alexei) was based ...
130
Voted
SAC
2010
ACM
15 years 5 months ago
2010
ACM
This paper describes a new generic metadata model, called CAM Metamodel, that merges altogether information about content, services, physical and technical environment in order to...