2216 search results - page 198 / 444 » Hedging Structured Concepts |
194
click to vote
LICS
1999
IEEE
15 years 10 months ago
1999
IEEE
The ordered conjecture states that least fixed-point logic LFP is strictly more expressive than first-order logic FO on every infinite class of ordered finite structures. It has b...
157
click to vote
MTDT
1999
IEEE
15 years 10 months ago
1999
IEEE
The new concept of an unbalanced, hierarchicallydivided cache memory system is introduced and analyzed. This approach generalizes existing cache structures by allowing different m...
181
click to vote
SSDBM
1999
IEEE
15 years 10 months ago
1999
IEEE
Conducting bioinformatic analyses involves biologists in expressing requests over a range of highly heterogeneous information sources and software tools. Such activities are labor...
145
click to vote
KBSE
1998
IEEE
15 years 10 months ago
1998
IEEE
Specification-based retrieval provides exact contentoriented access to component libraries but requires too much deductive power. Specification-based browsing evades this bottlene...
163
click to vote
ICCS
1998
Springer
15 years 10 months ago
1998
Springer
Internet-based information technologies have considerable potential for improving collaboration in professional communities. In this paper, we explain the concept of user-driven sp...