1456 search results - page 121 / 292 » Two Techniques to Improve Finite Model Search |
NIPS
2001
13 years 9 months ago
2001
The PageRank algorithm, used in the Google search engine, greatly improves the results of Web search by taking into account the link structure of the Web. PageRank assigns to a pa...
ICANN
2007
Springer
14 years 2 months ago
2007
Springer
Support Vector Machines (SVMs) for classification tasks produce sparse models by maximizing the margin. Two limitations of this technique are considered in this work: firstly, th...
SAT
2005
Springer
14 years 1 months ago
2005
Springer
Solvers for Quantified Boolean Formulae (QBF) use many analogues of technique from SAT. A significant amount of work has gone into extending conflict based techniques such as co...
ITC
2003
IEEE
14 years 1 months ago
2003
IEEE
For ratio-Iddq testing, the test performance is significantly affected by the correlation between two currents of different input patterns as process parameters vary. In this p...
ATAL
2011
Springer
12 years 8 months ago
2011
Springer
Recent rise in maritime piracy prompts the search for novel techniques for addressing the problem. We therefore developed AgentC, a prototype system that demonstrates how agent-ba...