2840 search results - page 126 / 568 » Information Retrieval and Artificial Intelligence |
178
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...
159
click to vote
TPHOL
2005
IEEE
16 years 16 days 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...
124
click to vote
EUSAI
2004
Springer
16 years 10 days 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,...
211
click to vote
ICTAI
2006
IEEE
16 years 1 months 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...
217
Voted
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...