1827 search results - page 135 / 366 » Automatic thesaurus construction |
121
click to vote
TPHOL
2005
IEEE
15 years 9 months ago
2005
IEEE
The quotient operation is a standard feature of set theory, where a set is partitioned into subsets by an equivalence relation. We reinterpret this idea for higher order logic, whe...
136
Voted
ICIAR
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, a novel and efficient automatic image categorization system is proposed. This system integrates the MIL-based and global-featurebased SVMs for categorization. The IP...
151
click to vote
TLCA
2005
Springer
15 years 9 months ago
2005
Springer
This work sets the formal bases for building tools that help retrieve classes in object-oriented libraries. In such systems, the user provides a query, formulated as a set of class...
116
click to vote
ASPDAC
2004
ACM
15 years 9 months ago
2004
ACM
- This paper presents a solution to the problem of designing interconnects for memory devices. More precisely, it solves the automatic routing problem of memory peripheral circuits...
135
click to vote
DIAGRAMS
2004
Springer
15 years 9 months ago
2004
Springer
An important aim of diagrammatic reasoning is to make it easier for people to create and understand logical arguments. We have worked on spider diagrams, which visually express log...