3179 search results - page 107 / 636 » Applications of PCF Theory |
IJIS
2008
13 years 9 months ago
2008
The ability to analyse and represent formally semantic relations of terms is a core issue in information retrieval (IR), natural language processing (NLP), and in many related are...
ISIPTA
1999
IEEE
14 years 1 months ago
1999
IEEE
The paper deals with basic issues regarding the measurement of relevant types of uncertainty and uncertainty-based information in theories that represent imprecise probabilities o...
IFIP
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. We consider two standard notions in formal security protocol analysis: message deducibility and static equivalence under equational theories. We present polynomial-time a...
TIT
1998
13 years 8 months ago
1998
—An overview of the many practical applications of channel coding theory in the past 50 years is presented. The following application areas are included: deep space communication...
ICDCS
2008
IEEE
14 years 3 months ago
2008
IEEE
The growing popularity of web applications in the last few years has led users to give the management of their data to online application providers, which will endanger the securi...