Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
![]() |
A Context-Sensitive Nomadic Exhibition GuideOppermann, Reinhard ; Specht, Marcus Gellersen, Hans-Werner ; Thomas, Peter J.Lecture notes in computer science, 2000, Vol.1927, p.127-142 [Periódico revisado por pares]Berlin, Heidelberg: Springer-VerlagTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
ASP-Core-2 Input Language FormatCALIMERI, FRANCESCO ; FABER, WOLFGANG ; GEBSER, MARTIN ; IANNI, GIOVAMBATTISTA ; KAMINSKI, ROLAND ; KRENNWALLNER, THOMAS ; LEONE, NICOLA ; MARATEA, MARCO ; RICCA, FRANCESCO ; SCHAUB, TORSTENTheory and practice of logic programming, 2020-03, Vol.20 (2), p.294-309 [Periódico revisado por pares]Cambridge: Cambridge University PressTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Most Tensor Problems Are NP-HardHILLAR, Christopher J ; LIM, Lek-HengJournal of the ACM, 2013-11, Vol.60 (6), p.1-39 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Multi-shot ASP solving with clingoGEBSER, MARTIN ; KAMINSKI, ROLAND ; KAUFMANN, BENJAMIN ; SCHAUB, TORSTENTheory and practice of logic programming, 2019-01, Vol.19 (1), p.27-82 [Periódico revisado por pares]Cambridge, UK: Cambridge University PressTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Sparser Johnson-Lindenstrauss TransformsKANE, Daniel M ; NELSON, JelaniJournal of the ACM, 2014, Vol.61 (1), p.1-23 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
The Effectiveness of Lloyd-Type Methods for the k-Means ProblemOSTROVSKY, Rafail ; RABANI, Yuval ; SCHULMAN, Leonard J ; SWAMY, ChaitanyaJournal of the ACM, 2012-12, Vol.59 (6), p.1-22 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Linear-Time Approximation for Maximum Weight MatchingDUAN, Ran ; PETTIE, SethJournal of the ACM, 2014, Vol.61 (1), p.1-23 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
On Ideal Lattices and Learning with Errors over RingsLYUBASHEVSKY, Vadim ; PEIKERT, Chris ; REGEV, OdedJournal of the ACM, 2013-11, Vol.60 (6), p.1-35 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Steiner Tree Approximation via Iterative Randomized RoundingBYRKA, Jarosław ; GRANDONI, Fabrizio ; ROTHVOSS, Thomas ; SANITA, LauraJournal of the ACM, 2013-02, Vol.60 (1), p.1-33 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
The Nested Chinese Restaurant Process and Bayesian Nonparametric Inference of Topic HierarchiesBLEI, David M ; GRIFFITHS, Thomas L ; JORDAN, Michael IJournal of the ACM, 2010, Vol.57 (2), p.1-30 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |