skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Base de dados/Biblioteca: Academic OneFile remover assunto: Theoretical Computing remover Journal Of The Acm remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
The Nested Chinese Restaurant Process and Bayesian Nonparametric Inference of Topic Hierarchies
The Nested Chinese Restaurant Process and Bayesian Nonparametric Inference of Topic Hierarchies
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Nested Chinese Restaurant Process and Bayesian Nonparametric Inference of Topic Hierarchies

BLEI, David M ; GRIFFITHS, Thomas L ; JORDAN, Michael I

Journal of the ACM, 2010, Vol.57 (2), p.1-30 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
2
Most Tensor Problems Are NP-Hard
Most Tensor Problems Are NP-Hard
Material Type:
Artigo 		Adicionar ao Meu Espaço

Most Tensor Problems Are NP-Hard

HILLAR, Christopher J ; LIM, Lek-Heng

Journal of the ACM, 2013-11, Vol.60 (6), p.1-39 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
3
New Constructive Aspects of the Lovasz Local Lemma
New Constructive Aspects of the Lovasz Local Lemma
Material Type:
Artigo 		Adicionar ao Meu Espaço

New Constructive Aspects of the Lovasz Local Lemma

HAEUPLER, Bernhard ; SAHA, Barna ; SRINIVASAN, Aravind

Journal of the ACM, 2011-12, Vol.58 (6), p.1-28 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
4
Ranking Functions for Linear-Constraint Loops
Ranking Functions for Linear-Constraint Loops
Material Type:
Artigo 		Adicionar ao Meu Espaço

Ranking Functions for Linear-Constraint Loops

BEN-AMRAM, Amir M ; GENAIM, Samir

Journal of the ACM, 2014-07, Vol.61 (4), p.1-55 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
5
Model Checking Higher-Order Programs
Model Checking Higher-Order Programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Model Checking Higher-Order Programs

KOBAYASHI, Naoki

Journal of the ACM, 2013-06, Vol.60 (3), p.1-62 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
6
On Lattices, Learning with Errors, Random Linear Codes, and Cryptography
On Lattices, Learning with Errors, Random Linear Codes, and Cryptography
Material Type:
Artigo 		Adicionar ao Meu Espaço

On Lattices, Learning with Errors, Random Linear Codes, and Cryptography

REGEV, Oded

Journal of the ACM, 2009-09, Vol.56 (6), p.1-40 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
7
Linear-Time Approximation for Maximum Weight Matching
Linear-Time Approximation for Maximum Weight Matching
Material Type:
Artigo 		Adicionar ao Meu Espaço

Linear-Time Approximation for Maximum Weight Matching

DUAN, Ran ; PETTIE, Seth

Journal of the ACM, 2014, Vol.61 (1), p.1-23 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
8
Dependent rounding and its applications to approximation algorithms
Dependent rounding and its applications to approximation algorithms
Material Type:
Artigo 		Adicionar ao Meu Espaço

Dependent rounding and its applications to approximation algorithms

GANDHI, Rajiv ; KHULLER, Samir ; PARTHASARATHY, Srinivasan ; SRINIVASAN, Aravind

Journal of the ACM, 2006-05, Vol.53 (3), p.324-360 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
9
Simplify : A theorem prover for program checking
Simplify : A theorem prover for program checking
Material Type:
Artigo 		Adicionar ao Meu Espaço

Simplify : A theorem prover for program checking

DETLEFS, David ; NELSON, Greg ; SAXE, James B

Journal of the ACM, 2005-05, Vol.52 (3), p.365-473 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
10
The Effectiveness of Lloyd-Type Methods for the k-Means Problem
The Effectiveness of Lloyd-Type Methods for the k-Means Problem
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Effectiveness of Lloyd-Type Methods for the k-Means Problem

OSTROVSKY, Rafail ; RABANI, Yuval ; SCHULMAN, Leonard J ; SWAMY, Chaitanya

Journal of the ACM, 2012-12, Vol.59 (6), p.1-22 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.