6829 search results - page 1081 / 1366 » Quantitative Generalizations of Languages |
131
click to vote
CCIA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating...
143
click to vote
CCS
2005
ACM
15 years 10 months ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...
131
click to vote
CCS
2005
ACM
15 years 10 months ago
2005
ACM
We examine the problem of keyboard acoustic emanations. We present a novel attack taking as input a 10-minute sound recording of a user typing English text using a keyboard, and t...
146
click to vote
CIKM
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents a hybrid concept hierarchy development technique for web returned documents retrieved by a meta-search engine. The aim of the technique is to separate the init...
127
click to vote
CIKM
2005
Springer
15 years 10 months ago
2005
Springer
A framework for describing semantic relationships among nodes in XML documents is presented. In contrast to earlier work, the XML documents may have ID references (i.e., they corr...