4690 search results - page 263 / 938 » An operational semantics for Scheme |
169
click to vote
ECSQARU
2003
Springer
15 years 12 months ago
2003
Springer
In this paper, we propose some extensions of epistemic logic for reasoning about information fusion. The fusion operators considered in this paper include majority merging, arbitra...
144
click to vote
JANCL
2008
15 years 6 months ago
2008
Consider any logical system, what is its natural repertoire of logical operations? This question has been raised in particular for first-order logic and its extensions with genera...
179
click to vote
INFORMATICALT
2007
15 years 6 months ago
2007
In this paper we consider branching time temporal logics of knowledge and belief. These logics involve the discrete time linear temporal logic operators “next” and “until” ...
194
click to vote
EMO
2006
Springer
15 years 10 months ago
2006
Springer
The multi-objective covariance matrix adaptation evolution strategy (MO-CMA-ES) combines a mutation operator that adapts its search distribution to the underlying optimization prob...
148
click to vote
ECIR
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Segmenting videos into smaller, semantically related segments which ease the access of the video data is a challenging open research. In this paper, we present a scheme f...