3055 search results - page 491 / 611 » Randomized Search Trees |
141
click to vote
ICGI
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We present an exact algorithm for identification of deterministic finite automata (DFA) which is based on satisfiability (SAT) solvers. Despite the size of the low level ...
163
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
We analyze the recent phenomenon termed a Link Bomb, and investigate the optimal attack pattern for a group of web pages attempting to link bomb a specific web page. The typical ...
277
click to vote
OL
2011
14 years 11 months ago
2011
We consider sequential quadratic programming (SQP) methods for solving constrained nonlinear programming problems. It is generally believed that SQP methods are sensitive to the a...
139
click to vote
WWW
2008
ACM
16 years 4 months ago
2008
ACM
Geographic information has spawned many novel Web applications where global positioning system (GPS) plays important roles in bridging the applications and end users. Learning kno...
132
click to vote
STOC
2005
ACM
16 years 4 months ago
2005
ACM
Understanding the graph structure of the Internet is a crucial step for building accurate network models and designing efficient algorithms for Internet applications. Yet, obtaini...