950 search results - page 88 / 190 » Machine semantics |
110
click to vote
ICALT
2007
IEEE
15 years 11 months ago
2007
IEEE
The article presents the PLExus prototype, a Personal Learning Environment based on the semantic technology of topic maps. Semantic-based navigation in e-learning will enable vari...
137
click to vote
FSTTCS
2007
Springer
15 years 10 months ago
2007
Springer
We examine a bidirectional Propositional Dynamic Logic (PDL) for message sequence charts (MSCs) extending LTL and TLC− . Every formula is translated into an equivalent communicat...
218
click to vote
PLPV
2011
ACM
14 years 7 months ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...
131
Voted
MTA
2007
15 years 4 months ago
2007
This paper proposes a framework to aid video analysts in detecting suspicious activity within the tremendous amounts of video data that exists in today’s world of omnipresent su...
161
click to vote
CIVR
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we present an automatic semantic video analysis system to support interdisciplinary research efforts in the field of psychology and media science. The psychological...