Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Models for the modern power gridCardieri, Paulo, 1964- Universidade Estadual de Campinas (Unicamp); Universidade Estadual De Campinashttps://repositorio.unicamp.br/acervo/detalhe/11912042014Acesso online |
|
2 |
Material Type: Artigo
|
A survey of image registration techniquesBrown, LisaACM computing surveys, 1992-12, Vol.24 (4), p.325-376 [Periódico revisado por pares]NEW YORK: ACMTexto completo disponível |
|
3 |
Material Type: Artigo
|
The well-founded semantics for general logic programsVAN GELDER, A ; ROSS, K. A ; SCHLIPF, J. SJournal of the ACM, 1991-07, Vol.38 (3), p.620-650 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
|
4 |
Material Type: Artigo
|
Object modelling by registration of multiple range imagesChen, Yang ; Medioni, GérardImage and vision computing, 1992-04, Vol.10 (3), p.145-155 [Periódico revisado por pares]AMSTERDAM: Elsevier B.VTexto completo disponível |
|
5 |
Material Type: Artigo
|
Q-LEARNINGWATKINS, CJCH ; DAYAN, PMachine learning, 1992-05, Vol.8 (3-4), p.279-292 [Periódico revisado por pares]DORDRECHT: KLUWER ACADEMIC PUBLTexto completo disponível |
|
6 |
Material Type: Artigo
|
Conditional rewriting logic as a unified model of concurrencyMeseguer, JoséTheoretical computer science, 1992-04, Vol.96 (1), p.73-155 [Periódico revisado por pares]AMSTERDAM: Elsevier B.VTexto completo disponível |
|
7 |
Material Type: Artigo
|
Institutions: abstract model theory for specification and programmingGoguen, Joseph ; Burstall, RodJournal of the ACM, 1992-01, Vol.39 (1), p.95-146 [Periódico revisado por pares]NEW YORK: ACMTexto completo disponível |
|
8 |
Material Type: Artigo
|
Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systemsGOLDREICH, O ; MICALI, S ; WIGDERSON, AJournal of the ACM, 1991-07, Vol.38 (3), p.691-729 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
|
9 |
Material Type: Artigo
|
Surface shape and curvature scalesKoenderink, Jan J ; van Doorn, Andrea JImage and vision computing, 1992-10, Vol.10 (8), p.557-564 [Periódico revisado por pares]AMSTERDAM: Elsevier B.VTexto completo disponível |
|
10 |
Material Type: Artigo
|
Algebraic methods for interactive proof systemsLund, Carsten ; Fortnow, Lance ; Karloff, Howard ; Nisan, NoamJournal of the ACM, 1992-10, Vol.39 (4), p.859-868 [Periódico revisado por pares]NEW YORK: ACMTexto completo disponível |