493 search results - page 39 / 99 » Strategies and simulations in a semantic framework |
122
click to vote
FPCA
1995
15 years 3 months ago
1995
Game semantics is an unusual denotational semantics in that it captures the intensional (or algorithmic) and dynamical aspects of the computation. This makes it an ideal semantica...
SEMWEB
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We introduce a framework, based on logic programming, for preferential reasoning with agents on the Semantic Web. Initially, we encode the knowledge of an agent as a logi...
132
click to vote
ICFEM
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...
105
click to vote
ICIP
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, a framework that combines feature extraction, model learning, and likelihood computation, is presented for video event detection. First, the independent component a...
JUCS
2006
14 years 11 months ago
2006
: Bisimulation can be defined in a simple way using coinductive methods, and has rather pleasant properties. Ready similarity was proposed by Meyer et al. as a way to weakening the...