1078 search results - page 51 / 216 » The Modal Logic of Probability |
136
Voted
HYBRID
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...
122
click to vote
MLQ
2002
15 years 3 months ago
2002
We generalize the notion of a monadic algebra to that of a pseudomonadic algebra. In the same way as monadic algebras serve as algebraic models of epistemic modal system S5, pseudo...
103
Voted
LREC
2008
15 years 5 months ago
2008
This paper presents a multipurpose system for wordnet (WN) development, named Hydra. Hydra is an application for data editing and validation, as well as for data retrieval and syn...
132
click to vote
CIVR
2005
Springer
15 years 9 months ago
2005
Springer
It is now accepted that the most e ective video shot retrieval is based on indexing and retrieving clips using multiple, parallel modalities such as text-matching, image-matching a...
111
click to vote
IAT
2008
IEEE
15 years 10 months ago
2008
IEEE
The use of rational agents for modelling real world problems has both been heavily investigated and become well accepted, with BDI Logic being a widely used architecture to repres...