9359 search results - page 158 / 1872 » Generalization Algorithms for Second-Order Terms |
144
click to vote
PODS
2008
ACM
16 years 4 months ago
2008
ACM
A survey of effective characterizations of tree logics. If L is a logic, then an effective characterization for L is an algorithm, which inputs a tree automaton and replies if the...
130
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
We present a novel language-model-based approach to reranking an initially retrieved list so as to improve precision at top ranks. Our model integrates whole-document information ...
133
click to vote
MMSEC
2006
ACM
15 years 10 months ago
2006
ACM
Two different approaches for constructing a steganographic channel in an IEEE 802.11 (WLAN) network are introduced in this paper. First test results on the reliability, undetectab...
107
click to vote
SIGIR
2006
ACM
15 years 10 months ago
2006
ACM
This paper focuses on a method for the stylistic segmentation of text documents. Our technique involves mapping the change in a feature throughout a text. We use the linguistic fe...
114
click to vote
PASTE
2004
ACM
15 years 9 months ago
2004
ACM
This work discusses two non-traditional approaches for evaluating the imprecision of static analysis. The approaches are based on proofs of feasibility or infeasibility that are c...