4325 search results - page 562 / 865 » Incremental computation with names |
155
click to vote
AMR
2007
Springer
16 years 27 days ago
2007
Springer
This paper is a critical analysis of the use of ontology as an instrument to specify the semantics of a document. The paper argue that not only is a logic of the type used in ontol...
202
click to vote
ICCS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Previous work of the authors has studied a notion of implication between sets of sequences based on the conceptual structure of a Galois lattice, and also a way of repres...
178
click to vote
ICN
2007
Springer
16 years 26 days ago
2007
Springer
—Peer to peer is an important way for files sharing. In existing P2P systems, users need to query and retrieve files, and have to know some knowledge, such as file names, keyword...
173
click to vote
SIGIR
2006
ACM
16 years 20 days ago
2006
ACM
In today’s data-rich networked world, people express many aspects of their lives online. It is common to segregate different aspects in different places: you might write opinion...
171
click to vote
CEAS
2005
Springer
16 years 7 days ago
2005
Springer
Microsoft has prosecuted a vigorous civil enforcement campaign against spammers and phishers. When initial investigation into a spam or phishing case fails to reveal the identity ...