3994 search results - page 427 / 799 » A Linear Logical Framework |
198
click to vote
ICMCS
2000
IEEE
16 years 1 days ago
2000
IEEE
In this paper, a non-linear relevance feedback mechanism is proposed for increasing the performance and the reliability of content-based retrieval systems. In particular, the huma...
225
click to vote
DAC
2009
ACM
15 years 11 months ago
2009
ACM
Power grid verification in modern integrated circuits is an integral part of early system design where adjustments can be most easily incorporated. In this work, we describe an ea...
232
click to vote
ESCIENCE
2006
IEEE
15 years 11 months ago
2006
IEEE
Jylab is a portable and flexible scientific computing system favoring extensibility. It provides a user with a scripting language and a core set of libraries implementing numerica...
198
click to vote
ECIR
2007
Springer
15 years 9 months ago
2007
Springer
Document fields, such as the title or the headings of a document, offer a way to consider the structure of documents for retrieval. Most of the proposed approaches in the literatu...
220
click to vote
ICMLA
2008
15 years 9 months ago
2008
Dimension reduction techniques have been successfully applied to face recognition and text information retrieval. The process can be time-consuming when the data set is large. Thi...