2006 search results - page 116 / 402 » Heuristic Security-Testing Methods |
88
Voted
CADE
2010
Springer
15 years 1 months ago
2010
Springer
In this paper we use the decreasing diagrams technique to show that a left-linear term rewrite system R is confluent if all its critical pairs are joinable and the critical pair st...
88
Voted
COR
2006
15 years 22 days ago
2006
In this paper we develop a variable neighborhood search (VNS) heuristic for solving mixed-integer programs (MIPs). It uses CPLEX, the general-purpose MIP solver, as a black-box. N...
102
click to vote
ICCAD
2008
IEEE
15 years 9 months ago
2008
IEEE
— This paper presents a fast analytical method for estimating the throughput of pipelined asynchronous systems, and then applies that method to develop a fast solution to the pro...
100
Voted
JODS
2006
15 years 20 days ago
2006
In this paper, we propose to extend current practice in schema matching with the simultaneous use of top-K schema mappings rather than a single best mapping. This is a natural ext...
101
Voted
SIGIR
2008
ACM
15 years 19 days ago
2008
ACM
Recent work on language models for information retrieval has shown that smoothing language models is crucial for achieving good retrieval performance. Many different effective smo...