Sciweavers

1699 search results - page 73 / 340
» A timed semantics of Orc
Sort
View
ENTCS
2008
84views more  ENTCS 2008»
13 years 9 months ago
Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems
Non-deterministic (also known as possibilistic) and probabilistic state based systems (or automata) have been studied for quite some time. Separately, they are reasonably well-und...
Bart Jacobs
ACL
2010
13 years 7 months ago
Contextualizing Semantic Representations Using Syntactically Enriched Vector Models
We present a syntactically enriched vector model that supports the computation of contextualized semantic representations in a quasi compositional fashion. It employs a systematic...
Stefan Thater, Hagen Fürstenau, Manfred Pinka...
COLING
2010
13 years 3 months ago
Applying Syntactic, Semantic and Discourse Constraints in Chinese Temporal Annotation
We describe a Chinese temporal annotation experiment that produced a sizable data set for the TempEval-2 evaluation campaign. We show that while we have achieved high inter-annota...
Nianwen Xue, Yuping Zhou
ASWC
2008
Springer
13 years 11 months ago
Efficient Index Maintenance for Frequently Updated Semantic Data
Abstract. Nowadays, the demand on querying and searching the Semantic Web is increasing. Some systems have adopted IR (Information Retrieval) approaches to index and search the Sem...
Yan Liang, Haofen Wang, Qiaoling Liu, Thanh Tran, ...
TIME
2009
IEEE
14 years 3 months ago
Fixing the Semantics for Dynamic Controllability and Providing a More Practical Characterization of Dynamic Execution Strategies
Morris, Muscettola and Vidal (MMV) presented an algorithm for checking the dynamic controllability (DC) of temporal networks in which certain temporal durations are beyond the con...
Luke Hunsberger