Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Sequential Operations in Digital Picture ProcessingRosenfeld, Azriel ; Pfaltz, JohnJournal of the ACM, 1966-10, Vol.13 (4), p.471-494 [Periódico revisado por pares]ACMTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Circuit Complexity, Proof Complexity, and Polynomial Identity Testing: The Ideal Proof SystemGrochow, Joshua ; Pitassi, ToniannJournal of the ACM, 2018-11, Vol.65 (6), p.1-59 [Periódico revisado por pares]New York: ACMTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Reasoning about temporal relations: The tractable subalgebras of Allen's interval algebraKrokhin, Andrei ; Jeavons, Peter ; Jonsson, PeterJournal of the ACM, 2003-09, Vol.50 (5), p.591-640 [Periódico revisado por pares]New York: ACMTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Efficient Analysis of Probabilistic Programs with an Unbounded CounterBrázdil, Tomás ; Kiefer, Stefan ; Kŭcera, AntonínJournal of the ACM, 2014-11, Vol.61 (6), p.1-35 [Periódico revisado por pares]New York: ACMTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebraNebel, Bernhard ; Bürckert, Hans-JürgenJournal of the ACM, 1995-01, Vol.42 (1), p.43-66 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Online geometric reconstructionChazelle, Bernard ; Seshadhri, CJournal of the ACM, 2011-07, Vol.58 (4), p.1-32 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Optimal algorithms for parallel Givens factorization on a coarse-grained PRAMCosnard, Michel ; Daoudi, El MostafaJournal of the ACM, 1994-03, Vol.41 (2), p.399-421 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Digital Pattern Recognition by MomentsAlt, FranzJournal of the ACM, 1962-04, Vol.9 (2), p.240-258 [Periódico revisado por pares]ACMTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolutionBibel, W ; Eder, EJournal of the ACM, 1997-03, Vol.44 (2), p.320-344 [Periódico revisado por pares]New York: ACMTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Channel routing of multiterminal netsGao, Shaodi ; Kaufmann, MichaelJournal of the ACM, 1994-07, Vol.41 (4), p.791-818 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |