Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artículo
|
![]() |
Indexing compressed textFERRAGINA, Paolo ; MANZINI, GiovanniJournal of the ACM, 2005-07, Vol.52 (4), p.552-581 [Revista revisada por pares]New York, NY: Association for Computing MachineryTexto completo disponible |
2 |
Material Type: Artículo
|
![]() |
The role of social embeddedness in professorial entrepreneurship: a comparison of electrical engineering and computer science at UC Berkeley and StanfordKenney, Martin ; Richard Goe, WResearch policy, 2004-07, Vol.33 (5), p.691-707 [Revista revisada por pares]Amsterdam: Elsevier B.VTexto completo disponible |
3 |
Material Type: Artículo
|
![]() |
Simplify : A theorem prover for program checkingDETLEFS, David ; NELSON, Greg ; SAXE, James BJournal of the ACM, 2005-05, Vol.52 (3), p.365-473 [Revista revisada por pares]New York, NY: Association for Computing MachineryTexto completo disponible |
4 |
Material Type: Artículo
|
![]() |
The Gator Tech Smart House: a programmable pervasive spaceHelal, S. ; Mann, W. ; El-Zabadani, H. ; King, J. ; Kaddoura, Y. ; Jansen, E.Computer (Long Beach, Calif.), 2005-03, Vol.38 (3), p.50-60 [Revista revisada por pares]New York, NY: IEEETexto completo disponible |
5 |
Material Type: Artículo
|
![]() |
Exploitation of optical interconnects in future server architecturesBenner, A F ; Ignatowski, M ; Kash, J A ; Kuchta, D M ; Ritter, M BIBM journal of research and development, 2005-07, Vol.49 (4.5), p.755-775 [Revista revisada por pares]Armonk: International Business Machines CorporationTexto completo disponible |
6 |
Material Type: Artículo
|
![]() |
Toward a generalized theory of uncertainty (GTU)––an outlineZadeh, Lotfi A.Information sciences, 2005-06, Vol.172 (1), p.1-40 [Revista revisada por pares]Elsevier IncTexto completo disponible |
7 |
Material Type: Artículo
|
![]() |
A Statistical Approach to Texture Classification from Single ImagesVarma, Manik ; Zisserman, AndrewInternational journal of computer vision, 2005-04, Vol.62 (1-2), p.61-81 [Revista revisada por pares]Texto completo disponible |
8 |
Material Type: Artículo
|
![]() |
Approximate distance oraclesTHORUP, Mikkel ; ZWICK, U. R. IJournal of the ACM, 2005, Vol.52 (1), p.1-24 [Revista revisada por pares]New York, NY: Association for Computing MachineryTexto completo disponible |
9 |
Material Type: Artículo
|
![]() |
Fast monte-carlo algorithms for finding low-rank approximationsFrieze, Alan ; Kannan, Ravi ; Vempala, SantoshJournal of the ACM, 2004-11, Vol.51 (6), p.1025-1041 [Revista revisada por pares]New York: Association for Computing MachineryTexto completo disponible |
10 |
Material Type: Artículo
|
![]() |
Reo: a channel-based coordination model for component compositionARBAB, FARHADMathematical structures in computer science, 2004-06, Vol.14 (3), p.329-366 [Revista revisada por pares]Cambridge, UK: Cambridge University PressTexto completo disponible |