866 search results - page 51 / 174 » A Formal Investigation of |
LORI
2009
Springer
14 years 4 months ago
2009
Springer
Building on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical...
CRV
2008
IEEE
14 years 4 months ago
2008
IEEE
The human visual system is often able to recognize shading patterns and to discriminate them from surface reflectance patterns. To understand how this ability is possible, we inv...
ACCV
2007
Springer
14 years 4 months ago
2007
Springer
The problem of colour image segmentation is investigated in the context of mathematical morphology. Morphological operators are extended to colour images by means of a lexicographi...
IFSA
2007
Springer
14 years 4 months ago
2007
Springer
In the formal and fully graded setting of Fuzzy Class Theory (or higher-order fuzzy logic) we make an initial investigation into basic notions of fuzzy topology. In particular we s...
MEMOCODE
2005
IEEE
14 years 3 months ago
2005
IEEE
The SystemVerilog standard introduces SystemVerilog Assertions (SVA), a synchronous assertion package based on the temporal-logic semantics of PSL. Traditionally assertions are ch...