Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Fast Inference with Min-Sum Matrix Product
Felzenszwalb, Pedro F., McAuley, J. J.
Published in IEEE transactions on pattern analysis and machine intelligence (01.12.2011)
Published in IEEE transactions on pattern analysis and machine intelligence (01.12.2011)
Get full text
Journal Article
Efficiently and Effectively Recognizing Toricity of Steady State Varieties
Grigoriev, Dima, Iosif, Alexandru, Rahkooy, Hamid, Sturm, Thomas, Weber, Andreas
Published in Mathematics in computer science (01.06.2021)
Published in Mathematics in computer science (01.06.2021)
Get full text
Journal Article
Symbolic synthesis of masking fault-tolerant distributed programs
Bonakdarpour, Borzoo, Kulkarni, Sandeep S., Abujarad, Fuad
Published in Distributed computing (01.03.2012)
Published in Distributed computing (01.03.2012)
Get full text
Journal Article
A filtered bucket-clustering method for projection onto the simplex and the $$\ell _1$$ ℓ 1 ball
Perez, Guillaume, Barlaud, Michel, Fillatre, Lionel, Régin, Jean-Charles
Published in Mathematical programming (15.05.2019)
Published in Mathematical programming (15.05.2019)
Get full text
Journal Article
Determinant Maximization with Linear Matrix Inequality Constraints
Vandenberghe, Lieven, Boyd, Stephen, Wu, Shao-Po
Published in SIAM journal on matrix analysis and applications (01.04.1998)
Published in SIAM journal on matrix analysis and applications (01.04.1998)
Get full text
Journal Article
Software model checking using languages of nested trees
Alur, Rajeev, Chaudhuri, Swarat, Madhusudan, P.
Published in ACM transactions on programming languages and systems (01.11.2011)
Published in ACM transactions on programming languages and systems (01.11.2011)
Get full text
Journal Article
Approximate on-Surface Distance Computation using Quasi-Developable Charts
Torchelsen, Rafael P., Pinto, Francisco, Bastos, Rui, Comba, João L. D.
Published in Computer graphics forum (01.10.2009)
Published in Computer graphics forum (01.10.2009)
Get full text
Journal Article
A derivative-free comirror algorithm for convex optimization
Bauschke, Heinz H., Hare, Warren L., Moursi, Walaa M.
Published in Optimization methods & software (04.07.2015)
Published in Optimization methods & software (04.07.2015)
Get full text
Journal Article