1864 search results - page 260 / 373 » Formal topology and domains |
IJCV
2006
13 years 9 months ago
2006
We address the issue of low-level segmentation of vector-valued images, focusing on the case of color natural images. The proposed approach relies on the formulation of the problem...
ENTCS
2007
13 years 9 months ago
2007
We introduce a class of coalgebraic models and a family of modal logics that support the speci cation of spatial properties of distributed applications. The evaluation of a formul...
JAR
2007
13 years 8 months ago
2007
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to u...
CORR
2004
Springer
13 years 8 months ago
2004
Springer
Understanding the structure of knowledge communities, and particularly the organization of "epistemic communities", or groups of agents sharing common knowledge concerns...
INFORMATICALT
1998
13 years 8 months ago
1998
This paper describes a method how to represent and build a reusable VHDL component. By that component we can, for example, describe a family of the relative VHDL models. To represe...