4814 search results - page 577 / 963 » Combining abstract interpreters |
167
click to vote
CIS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Ontology plays an important role on the Semantic Web. In this paper, we propose a method, AOIWD, of acquiring ontology information from Web documents. The AOIWD method em...
198
Voted
CIS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. It is necessary to analyze an image from CT or MR and then to segment an image of a certain organ from that of other tissues for 3D (ThreeDimensional) visualization. Ther...
203
Voted
CIVR
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. A novel approach to object-based video indexing and retrieval is presented, employing an object segmentation algorithm for the real-time, unsupervised segmentation of com...
178
click to vote
CSCLP
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We propose to use bilattice as a constraint valuation structure in order to represent truth and belief at the same time. A bilattice is a set which owns two lattices orde...
177
click to vote
CSL
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Applications in software verification often require determining the satisfiability of first-order formulæ with respect to some background theories. During development...