3052 search results - page 56 / 611 » Weakly Distributive Domains |
APAL
2005
14 years 9 months ago
2005
In this paper we consider distributive modal logic, a setting in which we may add modalities, such as classical types of modalities as well as weak forms of negation, to the fragm...
DEBS
2010
ACM
14 years 4 months ago
2010
ACM
Many XML filtering systems have emerged in recent years identifying XML data that structurally match XPath queries in an efficient way. However, apart from structural matching, it...
CALCO
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Labelled Markov processes are continuous-state fully probabilistic labelled transition systems. They can be seen as co-algebras of a suitable monad on the category of mea...
AAAI
2007
15 years 3 days ago
2007
Reinforcement learning (RL) methods have become popular in recent years because of their ability to solve complex tasks with minimal feedback. Both genetic algorithms (GAs) and te...
VMV
2001
14 years 11 months ago
2001
Although useful in many applications, the medial axis transform (MAT) has a few fit-falls, one of which is its extreme sensitivity to the boundary perturbation. In this paper, we ...