8094 search results - page 271 / 1619 » Improvements in Formula Generalization |
JAR
2008
15 years 24 days ago
2008
Interactive provers typically use higher-order logic, while automatic provers typically use first-order logic. In order to integrate interactive provers with automatic ones, it is ...
109
Voted
TCS
2008
15 years 22 days ago
2008
We introduce an LTL-like logic with atomic formulae built over a constraint language interpreting variables in Z. The constraint language includes periodicity constraints, comparis...
84
Voted
WIOPT
2010
IEEE
14 years 11 months ago
2010
IEEE
—Self-organizing networks (SON) is commonly seen as a way to increase network performance while simplifying its management. This paper investigates Packet Scheduling (PS) in the ...
90
Voted
EMNLP
2009
14 years 10 months ago
2009
Measuring the similarity between two texts is a fundamental problem in many NLP and IR applications. Among the existing approaches, the cosine measure of the term vectors represen...
108
click to vote
TPDS
2002
15 years 14 days ago
2002
Speculative prefetching has been proposed to improve the response time of network access. Previous studies in speculative prefetching focus on building and evaluating access models...