86 search results - page 15 / 18 » A Classical Realizability Model for a Semantical Value Restr... |
NIPS
2007
14 years 11 months ago
2007
We propose a Gaussian process (GP) framework for robust inference in which a GP prior on the mixing weights of a two-component noise model augments the standard process over laten...
SCAI
2001
14 years 11 months ago
2001
Muskens presents in Meaning and Partiality a semantics of possibly contradictory beliefs and other propositional attitudes. We propose a different partial logic based on a few key...
108
click to vote
SSDBM
2010
IEEE
15 years 2 months ago
2010
IEEE
Similarity search and data mining often rely on distance or similarity functions in order to provide meaningful results and semantically meaningful patterns. However, standard dist...
IICAI
2007
14 years 11 months ago
2007
Logics of action, for reasoning about the effects of state change, and logics of belief, accounting for belief revision and update, have much in common. Furthermore, we may underta...
100
click to vote
FORMATS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...