1536 search results - page 105 / 308 » The Underlying Logic of Hoare Logic |
106
Voted
UAI
2004
15 years 2 months ago
2004
Humans currently use arguments for explaining choices which are already made, or for evaluating potential choices. Each potential choice has usually pros and cons of various stren...
101
Voted
CORR
2008
Springer
15 years 27 days ago
2008
Springer
Abstract. The Ambient Logic (AL) has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients (MA), and as a basis for query languages on semi...
84
Voted
IANDC
2006
15 years 25 days ago
2006
This paper generalizes existing connections between automata and logic to a coalgestraction level. Let F : Set Set be a standard functor that preserves weak pullbacks. We introdu...
119
click to vote
JMIV
2002
15 years 15 days ago
2002
There exist several methods to extend binary morphology to grey-scale images. One of these methods is based on fuzzy logic and fuzzy set theory. Another approach starts from the c...
126
Voted
ECAI
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Statistical relational models, such as Markov logic networks, seek to compactly describe properties of relational domains by representing general principles about objects...