Sciweavers

2268 search results - page 302 / 454
» The Essence of Form Abstraction
Sort
View
FM
2001
Springer
130views Formal Methods» more  FM 2001»
15 years 6 months ago
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
Mícheál Mac an Airchinnigh
ICCBR
2001
Springer
15 years 6 months ago
A Fuzzy-Rough Approach for Case Base Maintenance
Abstract. This paper proposes a fuzzy-rough method of maintaining CaseBased Reasoning (CBR) systems. The methodology is mainly based on the idea that a large case library can be tr...
Guoqing Cao, Simon C. K. Shiu, Xizhao Wang
IWVF
2001
Springer
15 years 6 months ago
Color and Shape Index for Region-Based Image Retrieval
Abstract. Most CBIR systems use low-level visual features for representation and retrieval of images. Generally such methods suffer from the problems of high-dimensionality leadin...
B. G. Prasad, S. K. Gupta, K. K. Biswas
PCM
2001
Springer
107views Multimedia» more  PCM 2001»
15 years 6 months ago
Analysis of Environmental Sounds as Indexical Signs in Film
Abstract. In this paper, we investigate the problem of classifying a subset of environmental sounds in movie audio tracks that indicate specific indexical semiotic use. These envi...
Simon Moncrieff, Chitra Dorai, Svetha Venkatesh
SEMWEB
2001
Springer
15 years 6 months ago
Utilizing Host-Formalisms to Extend RDF-Semantics
Abstract. RDF may be considered as an application of XML intended to interoperably exchange semantics between Web applications. In its current form, this objective may be hard to r...
Wolfram Conen, Reinhold Klapsing