5550 search results - page 729 / 1110 » Different Approaches to Proof Systems |
296
click to vote
ICDE
2007
IEEE
16 years 8 months ago
2007
IEEE
To handle the overwhelming amount of information currently available, personalization systems allow users to specify the information that interests them through preferences. Most ...
182
click to vote
ICPR
2008
IEEE
16 years 8 months ago
2008
IEEE
The problem of character recognition in a book should be formulated significantly different from that of a single page or word. An ideal approach to design such a recognizer is to...
178
click to vote
ICPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Querying any information system requires the knowledge of some formal language, making it inaccessible to computer-na?ve potential users. We propose a new intuitive querying mecha...
214
click to vote
PERCOM
2009
ACM
16 years 7 months ago
2009
ACM
Abstract--Mobile Ad hoc NETworks (MANET) and Peer-ToPeer (P2P) systems are emerging technologies sharing a common underlying decentralized networking paradigm. However, the related...
175
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
Abstract. Current text classification systems typically use term stems for representing document content. Semantic Web technologies allow the usage of features on a higher semantic...