6829 search results - page 195 / 1366 » Quantitative Generalizations of Languages |
138
click to vote
SIGIR
2006
ACM
16 years 14 days ago
2006
ACM
We hypothesized that language modeling retrieval would improve if we reduced the need for document smoothing to provide an inverse document frequency (IDF) like effect. We create...
181
click to vote
AIRWEB
2005
Springer
16 years 1 days ago
2005
Springer
We present an approach for detecting link spam common in blog comments by comparing the language models used in the blog post, the comment, and pages linked by the comments. In co...
160
click to vote
HIPS
1998
IEEE
15 years 10 months ago
1998
IEEE
The NPAC kernel runtime, developed in the PCRC Parallel Compiler Runtime Consortium project, is a runtime library with special support for the High Performance Fortran data model....
170
click to vote
ITP
2010
15 years 10 months ago
2010
CertiCrypt is a general framework to certify the security of cryptographic primitives in the Coq proof assistant. CertiCrypt adopts the code-based paradigm, in which the statement ...
162
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Existing ADLs (Architecture Description Languages) have an advantage of formally specifying the architecture of component-based systems. But ADLs have not come into extensive use ...