2840 search results - page 126 / 568 » Information Retrieval and Artificial Intelligence |
164
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
E-mail is one of the most common communication methods among people on the Internet. However, the increase of e-mail misuse/abuse has resulted in an increasing volume of spam e-ma...
146
click to vote
TPHOL
2005
IEEE
16 years 5 hour ago
2005
IEEE
Abstract. Denotational semantics for a substantial fragment of Java is formalized by deep embedding in PVS, making extensive use of dependent types. A static analyzer for secure in...
119
click to vote
EUSAI
2004
Springer
15 years 11 months ago
2004
Springer
We put forth a proposal for a system that creates an augme environment where devices allow for an integrated capture of informa a social gathering (e.g. pictures, audio recordings,...
190
click to vote
ICTAI
2006
IEEE
16 years 14 days ago
2006
IEEE
Enterprise corpora contain evidence of what employees work on and therefore can be used to automatically find experts on a given topic. We present a general approach for represen...
190
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
We present a user interface, the OntoRefiner1 system, for helping the user to navigate numerous retrieved documents after a search querying a semantic portal which integrates a ver...