575 search results - page 93 / 115 » A Spectral Approach to Lower Bounds |
ICGI
2010
Springer
13 years 8 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 ...
WAW
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Motivated by social network data mining problems such as link prediction and collaborative filtering, significant research effort has been devoted to computing topologica...
GLOBECOM
2009
IEEE
13 years 8 months ago
2009
IEEE
How to rapidly disseminate a large-sized file to many recipients is a fundamental problem in many applications, such as updating software patches and distributing large scientific ...
ICRA
2009
IEEE
13 years 8 months ago
2009
IEEE
Abstract-- During needle-based procedures, transitions between tissue layers often involve puncture events that produce substantial deformation and tend to drive the needle off cou...
CORR
2011
Springer
13 years 5 months ago
2011
Springer
In the paper, the global optimization problem of a multidimensional “black-box” function satisfying the Lipschitz condition over a hyperinterval with an unknown Lipschitz const...