4340 search results - page 675 / 868 » Formal Methods and Cryptography |
172
Voted
ACL
2007
15 years 7 months ago
2007
This paper addresses the issue of text normalization, an important yet often overlooked problem in natural language processing. By text normalization, we mean converting ‘inform...
177
click to vote
ECIR
2007
Springer
15 years 7 months ago
2007
Springer
Measuring the similarity between documents and queries has been extensively studied in information retrieval. However, there are a growing number of tasks that require computing th...
144
click to vote
DLT
2008
15 years 7 months ago
2008
We show that for several classes of idempotent semirings the least fixed-point of a polynomial system of equations X = f(X) is equal to the least fixed-point of a linear system obt...
147
click to vote
EUSFLAT
2007
15 years 7 months ago
2007
Parametric representation of fuzzy numbers (PFN) with derived methods for performing fuzzy arithmetic proves to have better accuracy and similar computational speed to using trian...
160
Voted
FIW
2007
15 years 7 months ago
2007
Many of the formal techniques are orchestrated for interaction detection in a complex integrated solution of hardware and software components. However, the applicability of these ...