2853 search results - page 229 / 571 » Finding related tables |
179
click to vote
ECAI
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We call verification the process of finding the actual explanation of a given set of manifestations. We consider an abductive setting, in which explanations are sets of a...
160
click to vote
FLAIRS
2008
15 years 9 months ago
2008
Does genre affect the way we communicate? We are especially interested in how computer mediation affects the style and content of communication. In an effort to find features rela...
163
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
Authentication and secrecy have been widely investigated in security protocols. They are closely related to each other and variants of definitions have been proposed, which focus o...
160
click to vote
CCA
2005
Springer
15 years 8 months ago
2005
Springer
If one wishes to find out whether a computational problem over discrete data is solvable or how complex it is, the classical approach is to represent the discrete objects in quest...
177
click to vote
ACL
2008
15 years 8 months ago
2008
Web search engines today typically show results as a list of titles and short snippets that summarize how the retrieved documents are related to the query. However, recent researc...