Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Optimization of Object-Oriented Programs Using Static Class Hierarchy AnalysisDean, Jeffrey ; Grove, David ; Chambers, Craig Pareschi, Remo ; Tokoro, MarioECOOP’95 — Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7–11, 1995, p.77-101 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
2 |
Material Type: Artigo
|
The Generalized Stable Set Problem for Claw-Free Bidirected GraphsNakamura, Daishin ; Tamura, Akihisa Bixby, Robert E. ; Ríos-Mercado, Roger Z. ; Boyd, E. AndrewInteger Programming and Combinatorial Optimization, p.69-83 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
3 |
Material Type: Artigo
|
A 3D Finite Element Model of the Face for Simulation in Plastic and Maxillo-Facial SurgeryChabanas, Matthieu ; Payan, Yohan Delp, Scott L. ; Jaramaz, Branislav ; DiGoia, Anthony M.Medical Image Computing and Computer-Assisted Intervention – MICCAI 2000, p.1068-1075 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
4 |
Material Type: Artigo
|
Top-down VLSI design experiments on a picture database computerYamaguchi, Kazunori ; Kunii, Tosiyasu L. Kunii, Tosiyasu L.VLSI Engineering, 1984-01, p.228-255 [Periódico revisado por pares]Tokyo: Springer TokyoTexto completo disponível |
|
5 |
Material Type: Artigo
|
An improved general E-unification methodDougherty, Daniel J. ; Johann, PatriciaJournal of symbolic computation, 1992, Vol.14 (4), p.303-320 [Periódico revisado por pares]Orlando, FL: Elsevier LtdTexto completo disponível |
|
6 |
Material Type: Artigo
|
Edge insertion for optimal triangulationsBern, M. ; Edelsbrunner, H. ; Eppstein, D. ; Mitchell, S. ; Tan, T. S.Discrete & computational geometry, 1992-01, Vol.10 (1), p.47-65 [Periódico revisado por pares]Texto completo disponível |
|
7 |
Material Type: Artigo
|
Applications of a new space-partitioning techniqueAgarwal, Pankaj K. ; Sharir, MichaDiscrete & computational geometry, 1993-01, Vol.9 (1), p.11-38 [Periódico revisado por pares]Texto completo disponível |
|
8 |
Material Type: Artigo
|
Decidability of timed language-inclusion for networks of real-time communicating sequential processesYi, Wang ; Jonsson, Bengt Thiagarajan, P. S.Foundation of Software Technology and Theoretical Computer Science, 1994-01, p.243-255 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
9 |
Material Type: Artigo
|
Graph decompositions and secret sharing schemesBLUNDO, C ; DE SANTIS, A ; STINSON, D. R ; VACARRO, UJournal of cryptology, 1995-12, Vol.8 (1), p.39-64 [Periódico revisado por pares]New York, NY: SpringerTexto completo disponível |
|
10 |
Material Type: Artigo
|
Towards performing ultrasound-guided needle biopsies from within a head-mounted displayFuchs, Henry ; State, Andrei ; Pisano, Etta D. ; Garrett, William F. ; Hirota, Gentaro ; Livingston, Mark ; Whitton, Mary C. ; Pizer, Stephen M. Kikinis, Ron ; Höhne, Karl HeinzVisualization in Biomedical Computing, 1996-01, p.591-600 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |