Departamento de Ciência da Computação - IME - USP

Trabalhos completos publicados em anais de congressos



Número total de itens: 1369
Página: 1  2  

2001

41.   MELO, Ana C. V. de; TABUTI, Lucy Mari. Um Estudo de um Protocolo de Comunicação para Dispositivos Móveis usando Distributed Join-Calculus. Em: Workshop de Métodos Formais, 2001.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
42.   MENESES, E. X. ; CORREA DA SILVA, F. S.. Um Modelo para Cooperação entre Sistemas Baseados em Conhecimento Baseado em Capacidades. Em: ENIA - Encontro Nacional de Inteligência Artificial, 2001.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
43.   MONGELLI, H. ; SONG, S. W.. Parallel String Matching with Scaling. Em: International Conference on Parallel and Distributed Processing Techniques and Applications, v. 2, p. 605-609, 2001.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
44.   MONGELLI, H. ; SONG, S. W.. Efficient Two-Dimensional Parallel Pattern Matching with Scaling. Em: 13th IASTED International Conference on Parallel and Distributed Computing and Systems, p. 360-364, 2001.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
45.   MORIMOTO, C. H. Interactive Digital Mirror. Em: Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens, v. 1, p. 232-236, 2001.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
46.   PELTONEN, S. ; TABUS, I. ; ASTOLA, J. T. ; DOUGHERTY, E. R. ; HIRATA, N. S. T.. Robust Optimization of Stack Filters. Em: Nonlinar Signal and Image Processing (NSIP'01), 2001.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
47.   PEREIRA, C. A. B. ; STERN, J. M.. FBST Regularization and Model Selection. Em: 7th International Conference on Information Systems Analysis and Synthesis, 2001.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
48.   PEREIRA, S. L. ; BARROS, L. N.. Eficiência num Planejador Abdutivo. Em: Logic Applied to Technology, 2001.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
49.   RODRIGUES, E. M. ; SAGOT, M. ; Y. WAKABAYASHI. Some Approximation Results for the Maximum Agreement Forest. Em: 4th International Workshop on Approximation, v. 2129, p. 159-169, 2001.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
50.   SILVA, F. J. S. E. ; ENDLER, M. ; KON, F.. Desenvolvendo Software Adaptável para Computação Móvel. Em: Terceiro Workshop de Comunicaçao sem Fio, p. 93-101, 2001.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
51.   SOARES, J.; STEFANES, M. A.. Coarse Grained Parallel Algorithm for Maximum Independent Set in Convex Bipartite Graphs. Em: International Conference on Parallel and Distributed Processing Techniques and Applications, p. 527-533, 2001.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
52.   STERN, J. M. The Full Bayesian Significance Test for the Covariance Structure Problem. Em: 7th International Conference on Information Systems Analysis and Synthesis (ISAS'2001), 2001.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
53.   WASSERMANN, R.; Marcelo Finger. Tableaux for Approximate Reasoning. Em: IJCAI-2001 Workshop on Inconsistency in Data and Knowledge, p. 71-79, 2001.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
54.   WASSERMANN, R.; Marcelo Finger. Approximate Reasoning and Paraconsistency - Preliminary Report. Em: 8th Workshop on Logic, p. 76-86, 2001.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
55.   WASSERMANN, R.; Wagner Dias. Abductive Expansion of Belief Bases. Em: IJCAI Workshop on Abductive Reasoning, 2001.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2000

1.   ALON, N. ; CAPALBO, M. ; KOHAYAKAWA, Y. ; RÖDL, V. ; RUCINSKI, A. ; SZEMEREDI, E.. Universality and tolerance (extended abstract). Em: 41st IEEE Annual Symposium on Foundations of Computer Science (FOCS 2000), p. 14-21, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   AUBERT, A. ; JEULIN, D. ; HASHIMOTO, R. F.. Surface Texture Classification from Morphological Transformations. Em: International Symposium on Mathematical Morphology, p. 253-262, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   BALLESTEROS, F. J. ; KON, F. ; CAMPBELL, R. H.. Off++: The Network in a Box. Em: ECOOP Workshop on Object Orientation in Operating Systems, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   BARRERA, Junior; DOUGHERTY, Edward R. Design of Statistically Optimal Morphological Operators. Em: European Signal Processing Conference, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   BARRERA, Junior; FLORES, F. C. ; HIRATA JR, R. ; LOTUFO, R. A. ; MEYER, F.. Morphological operators for segmentation of color images. Em: Brazilian Simposium on Computer Graphics and Image Processing, p. 300-307, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   BARROS, L. N.; SANTOS, E. T.. Um Estudo da Modelagem do Domínio da Geometria Descritiva para a Construção de um Sistema Tutor Inteligente. Em: XI Simpósio Brasileiro de Informática Educativa - SBIE 2000, p. 259-266, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   BARROS, L. N.; SANTOS, P. E.. The Nature of Knowledge in an Abductive Event Calculus Planner. Em: Knowledge Engineering and Knowledge Management - EKAW 2000, v. 1937, p. 328-343, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   BIRGIN, E. G.; MARTÍNEZ, J. M.. Bound constrained second order minimization algorithms. Em: X Congreso Latino-Iberoamericano de Investigación Operativa, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   BIRGIN, E. G.; MARTÍNEZ, J. M. ; RONCONI, D. P.. A robust fixed point algorithm for classification. Em: X Congreso Latino-Iberoamericano de Investigación Operativa, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   CACERES, E. ; Chan, A. ; DEHNE, F. ; SONG, S. W.. Coarse Grained Parallel Graph Planarity Testing. Em: International Conference on Parallel and Distributed Processing Techniques and Applications, v. 3, p. 1589-1595, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11.   CESAR JUNIOR, R. M.; FERIS, Rogerio S.. Tracking Facial Features Using Gabor Wavelet Networks. Em: SIBGRAPI'2000, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
12.   CESAR JUNIOR, R. M.; FERIS, Rogerio S. ; T. E. Campos. Eigenfaces versus Eygeneyes: First Steps Toward Performance Assessment of Representations for Face Recognition. Em: International Mexican Conference on Artificial Intelligence, v. 1793, p. 197-206, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
13.   CESAR JUNIOR, R. M.; FERIS, Rogerio S. ; T. E. Campos. Detection and Tracking of Facial Features in Video Sequences. Em: Proc. International Mexican Conference on Artificial Intelligence, v. 1793, p. 129-137, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
14.   CESAR JUNIOR, R. M.; FERIS, Rogerio S. ; T. E. Campos. A Framework for Face Recognition from Video Sequences Using GWN and Eigenfeature Selection. Em: WAICV'2000 - SBIA'2000 - IBERAMIA'2000, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
15.   CESAR JUNIOR, R. M.; T. E. Campos. Improved Face X Non-Face Discrimination Using Fourier Descriptors Through Feature Selection. Em: 13th SIBGRAPI, p. 28-35, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
16.   CESAR JUNIOR, R. M.; T. E. Campos ; FERIS, Rogerio S.. Reconhecimento Computacional de Pessoas. Em: SEMAC - Semana da Computação - IBILCE/UNESP -, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
17.   CINTRA, G. F. ; Y. WAKABAYASHI. Uma Variante do Problema de Corte Unidimensional. Em: XXXII Simpósio Brasileiro de Pesquisa Operacional, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
18.   CORREA DA SILVA, F. S.; MELO, Ana Cristina Vieira de ; AGUSTI, J. ; ARAUJO, R. C.. Knowledge Sharing Between a Probabilistic Logic and a Bayesian Belief Network. Em: International Conference of Information Processing and Management of Uncertainty in Knowledge-based Systems, p. 1299-1306, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
19.   CORREA DA SILVA, F. S.; ROBERTSON, D. S. ; AGUSTI, J. ; VASCONCELOS, W. W. ; MELO, Ana Cristina Vieira de. A Lightweight Capability Communication Mechanism. Em: International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, v. 1821, p. 660-670, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
20.   CORREA DA SILVA, F. S.; VITORINO, S. A.. Remarks on Reasoning with Progressively Obsolete Information. Em: SBIA/IBERAMIA, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
21.   CORREA DA SILVA, F. S.; ZANUTTO, J.. Calculo de Equivalencia de Operadores Morfologicos via Sistemas de Re-escrita de Termos. Em: LAPTEC 2000, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
22.   DOUGHERTY, Edward R ; KIM, S ; MOZELLE, G. ; BARRERA, Junior ; BRUN, Marcel. Multiresolution filter design. Em: Conference of the International Society for Optical Engineering, v. 3961, p. 12-21, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
23.   FERREIRA, C. E.; ADI, S. S.. Ferramentas de auxílio ao seqüenciamento de DNA por montagem de fragmentos: um estudo comparativo. Em: IV Oficina Nacional de Problemas de Corte e Empacotamento, p. 77-97, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
24.   FERREIRA, C. E.; KIRA, E. ; SANTOS, L. C. C.. Modeling academic performance for undergraduate students. Em: International Conference on Education in Computer Science and Engineering, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
25.   FIGUEIREDO, C. M. H. ; KLEIN, S. ; KOHAYAKAWA, Y. ; REED, B.. Finding skew partitions efficiently. Em: LATIN 2000: Theoretical Informatics, v. 1776, p. 163-172, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
26.   FINGER, M. Algorithmic Correspondence Theory for Substructural Categorial Logic. Em: Algorithmic Correspondence Theory for Substructural Categorial Logic, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
27.   FINGER, M. Técnicas de Otimização da Precisão Empregadas no Etiquetador Tycho Brahe. Em: V Encontro para o Processamento Computacional da Língua Portuguesa Escrita e Falada (PROPOR2000), 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
28.   FINGER, M. Infinite SLaKE-Tableaux. Em: 7th Workshop on Logic, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
29.   FINGER, M.; VASCONCELOS, W.. Sharing Resource-Sensitive Knowledge using Combinator Logics. Em: Simpósio Brasileiro de Inteligência Artificial (SBIA2000), 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
30.   FINGER, M.; WEISS, M. A.. The Unrestricted Addition of a Temporal Dimension to a Logic System. Em: 3rd International Conference on Temporal Logic (ICTL), 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
31.   FLORES, F. C. ; HIRATA JR., R. ; BARRERA, J. ; LOTUFO, R. A. ; MEYER, F.. Morphological Operators for Segmentation of Color Sequences. Em: SIBGRAPI'2000, v. 1, p. 300-307, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
32.   GUBITOSO, M. D.; HUMES JUNIOR, C.. Delay Behavior in Domain Decomposition Applications. Em: Europar 2000, v. 1900, p. 160-167, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
33.   HASHIMOTO, R F ; BARRERA, Junior ; DOUGHERTY, E R. From the Sup-Decomposition to a Sequential Decomposition. Em: International Symposium on Mathematical Morphology, p. 13-22, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
34.   HIRATA JR, R. ; DOUGHERTY, Edward R ; BARRERA, Junior. Some applications of aperture filters. Em: International Simposium on Mathematical Morphology, p. 119-128, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
35.   HIRATA JR, R. ; BARRERA, Junior ; DOUGHERTY, Edward R. Design of gray-scale nonlinear filters via multiresolution apertures. Em: European Signal Processing Conference, v. IV, p. 1905-1908, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
36.   HIRATA JR, R. ; FLORES, F. C. ; BARRERA, Junior ; LOTUFO, R. A. ; MEYER, F.. Color Image Gradients for Morphological Segmentation. Em: Brazilian Simposium on Computer Graphics and Image Processing, v. 1, p. 316-322, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
37.   HIRATA, N. S. T. ; BARRERA, Junior ; DOUGHERTY, Edward R. Bayesian Switching Algorithm for the Optimal Increasing Binary Filter. Em: European Signal and Image Processing Conference (EUSIPCO), v. IV, p. 1889-1892, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
38.   Jackowski, M. P.; GOSHTASBY, Ardeshir ; SATTER, M.. Representing 3D regions with rational Gaussian surfaces. Em: SPIE's Symposium on Medical Imaging 2000: Image Processing, v. 3979, p. 235-245, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
39.   KAMAT, V. ; DOUGHERTY, Edward R ; BARRERA, Junior. Bayesian Multiresolution filter design. Em: SPIE Nonlinear Image processing, v. 3961, p. 22-33, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
40.   KOHAYAKAWA, Y.; RÖDL, V.. Algorithmic aspects of regularity (invited paper). Em: LATIN 2000: Theoretical Informatics, v. 1776, p. 1-17, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
41.   KOHAYAKAWA, Y.; RÖDL, V. ; SKOKAN, J.. Equivalent conditions for regularity. Em: LATIN 2000: Theoretical Informatics, v. 1776, p. 48-57, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
42.   KON, F.; AL-MUHTADI, J. ; CAMPBELL, R. H. ; MICKUNAS, M. D.. My Dream of Jini. Em: OOPSLA'2000 Workshop on the Jini Pattern Language, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
43.   KON, F.; CAMPBELL, R. H. ; MICKUNAS, M. D. ; NAHRSTEDT, K. ; BALLESTEROS, F. J.. 2K: A Distributed Operating System for Dynamic Heterogeneous Environments. Em: IEEE International Symposium on High Performance Distributed Computing, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
44.   KON, F.; GILL, B. ; ANAND, M. ; CAMPBELL, R. H. ; MICKUNAS, M. D.. Secure Dynamic Reconfiguration of Scalable CORBA Systems with Mobile Agents. Em: IEEE Joint Symposium on Agent Systems and Applications / Mobile Agents, p. 86-98, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
45.   KON, F.; HESS, C. ; ROMÁN, M. ; CAMPBELL, R. H. ; MICKUNAS, M. D.. A Flexible, Interoperable Framework for Active Spaces. Em: OOPSLA'2000 Workshop on Pervasive Computing, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
46.   KON, F.; ROMÁN, M. ; CAMPBELL, R. H.. LegORB and Ubiquitous CORBA. Em: ACM / IFIP Middleware'2000 Workshop on Reflective Middleware, p. 1-2, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
47.   KON, F.; ROMÁN, M. ; MAO, J. ; YAMANE, T. ; MAGALHÃES, L. C. ; CAMPBELL, R. H.. Monitoring, Security, and Dynamic Configuration with the dynamicTAO Reflective ORB. Em: IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing (Middleware), p. 121-143, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
48.   MADEIRA, H. M. ; BARRERA, Junior. Incremental evaluation of BDD-represented set operaators. Em: Brazilian Simposium on Computer Graphics and Image Processing, p. 308-315, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
49.   MELO, Ana C. V. de; MOUTINHO, Bruno M. Composição de Fluxos de Controle em Fameworks Java. Em: Simpósio Brasileiro de Engenharia de Software - Workshop de Teses, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
50.   MELO, Ana C. V. de; TABUTI, Lucy Mari. Especificação de um protocolo de comunicação comercial em Join-Calculus. Em: Simpósio Brasileiro de Engenharia de Software - Workshop de Teses, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
51.   MIYAZAWA, F. K. ; Y. WAKABAYASHI. Cube Packing. Em: LATIN '2000: theoretical informatics, v. 1776, p. 58-67, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
52.   MORIMOTO, C. H. Virtual Autonomous Agents with Vision. Em: WAICV - Workshop on Artificial Inteligence and Computer Vision, p. 101-104, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
53.   MORIMOTO, C. H.; FLICKNER, Myron. Real time multiple face detection using active illumination. Em: FG2000 : Fourth IEEE International Conference on Automatic Face and Gesture Recognition, v. 1, p. 8-13, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
54.   NAKANO, F. ; PEREIRA, C. A. B. ; STERN, J. M.. Actuarial Analysis via Branching Processes. Em: 6th International Conference on Information Systems Analysis and Synthesis (ISAS'2000), 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
55.   OKUDA, K. ; SONG, S. W.. Revisiting Hamiltonian Decomposition of the Hypercube. Em: XIII Symposiumon Integrated Circuits and Systems Design, p. 55-60, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
56.   OKUDA, K.; Dilma ; Endler. A Realistic Connectionless Protocol for Mobil Clients. Em: Communication Networks and Distributed Systems Modeling and Simulation Conference, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
57.   OKUDA, K.; Endler ; Dilma. RDP: A Result Delivery Protocool for Mobil Computing. Em: International Workshop on Wireless Network and Mobile Computing, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
58.   OKUDA, K.; Gubi. Semi-Systolic algotithms synthesis for the grid. Em: XII Symposium on Computer Architecture and High Performance Computing, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
59.   SAUKAS, E. L. G. ; SONG, S. W.. Parallel Programming Techniques for Distributed Memory Computers. Em: IFIP World Computer Congress 2000, p. 760-763, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
60.   SILVA, Fávio Soares Corrêa da ; MELO, Ana C. V. de ; ARAÚJO, Roberto C de ; AGUSTI, J.. Knowledge sharing between a probabilistic logic and bayesian network. Em: Eighth International Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems (IPMU 2000), v. 3, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
61.   TERADA, Routo; BARRERA, Junior ; BRUN, M ; DOUGHERTY, Edward. Boosting OCR classifier by optimal edge noise filtering. Em: International Simposium on Mathematical Morphology, p. 371-380, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
62.   HIRATA, N. S. T. ; BARRERA, Junior ; TERADA, R.. Text Segmentation by Automatically Designed Morphological Operators. Em: SIBGRAPI'00 (Brazilian Synposium on Computer Graphics and Image Processing), v. 2000, p. 284-291, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
63.   WASSERMANN, R. An Algorithm for Belief Revision. Em: Conference on Principles of Knowledge Representation and Reasoning, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
64.   WASSERMANN, R. Local Diagnosis. Em: International Workshop on Nonmonotonic Reasoning, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
65.   WASSERMANN, R.; CARBOGIM, D. V.. Full Acceptance via Argumentation. Em: SBIA/IBERAMIA, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
66.   WASSERMANN, R.; PARIKH, R. ; CHOPRA, S.. Approximate Belief Revision - A Preliminary Report. Em: Workshop on Logic, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1999

1.   ALVES, C. D. C. ; FINGER, M.. Etiquetagem do Português Clássico Baseada em Córpora. Em: IV Encontro para o Processamento Computacional da Língua Portuguesa Escrita e Falada (PROPOR99), 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   BALLESTEROS, F. J. ; HESS, C. ; KON, F. ; AREVALO, S. ; CAMPBELL, R. H.. Object Orientation in the Off++ Microkernel. Em: 2nd ECOOP Workshop on Object-Orientation and Operating Systems, p. 49-53, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   BARRERA, Junior; DOUGHERTY, Edward R ; BRUN, Marcel. Hybrid human-machine binary morphological operator design. Em: Conference of the International Society for Optical Engineering, v. 3646, p. 162-173, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   BARRERA, Junior; TOMITA, N. S. T. ; DOUGHERTY, Edward R. Efficient switching algorithm for designing binary filters. Em: Conference of the International Society for Optical Engineering, v. 3646, p. 185-196, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   BARROS, L. N.; LEMOS, M. ; BERNAL, V. B. ; WAINER, J.. Model Based Diagnosis To Network Communication Faults. Em: Third International Workshop on Artificial Intelligence in Distributed Information Networking - AiDIN'99, v. WS-99, p. 57-62, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   BERNAL, V. B. ; BARROS, L. N. ; LEMOS, M. ; WAINER, J.. Fault Diagnosis for Local Area Network Environments. Em: Latin Network Operations and Manegement Symposium, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   BIRGIN, E. G.; BILOTI, R. ; TYGEL, M. ; SANTOS, L. T.. A new algorithm for traveltime multiparameter estimation. Em: Sixth International congress of the Brasilian Geophysical Society, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   BUSICHIA, G. ; FERREIRA, J. E.. Sharing of heterogeneous databases. Em: ADBIS'99 (Advances in Databases and Information Systems), p. 145-154, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   BUSICHIA, G. ; FERREIRA, J. E.. Compartilhamento de módulos heterogêneos de dados através de objetos integradores. Em: Simpósio Brasileiro de Banco de Dados, v. 1, p. 320-329, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   CESAR JUNIOR, R. M. Multiscale Shape Analysis and Applications. Em: 3rd IMACS/IEEE International Multiconference on Circuits, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11.   CESAR JUNIOR, R. M.; CONSULARO, L.a. ; COSTA, L. da F.. Synergos and its Application to Contour Segmentation. Em: III Workshop on Cybernetic Vision, p. 77-83, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
12.   CESAR JUNIOR, R. M.; L. F. Estrozi ; A. G. Campos ; L. G. Rios ; COSTA, L. da F.. Comparing Curvature Estimation Techniques. Em: Brazilian Symposium on Control and Automation, p. 58-63, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
13.   CORREA DA SILVA, F. S.; VASCONCELOS, W. W. ; ROBERTSON, D. S. ; AGUSTI, J. ; MELO, Ana Cristina Vieira de. Why Ontologies Are Not Enough For Knowledge Sharing. Em: 12th Int. Conference on Industrial and Engineering Applications on Artificial Intelligence and Expert Systems, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
14.   DOUGHERTY, Edward R ; BITNER, M. ; CHEN, Y. ; KIM, S ; SILVAKUMAR, K. ; BARRERA, Junior ; MELTZER, P. ; TRENT, J.. Nonlinear filters in genomic control. Em: IEEE-EURASIP Workshop in Nonlinear Signal and Image Processing, p. 10-15, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
15.   DURHAM, A. M.; JOHNSON, R. E.. A System to Implement Primitive Data Types. Em: III Simpósio Brasileiro de Linguagens de Programação, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
16.   FERREIRA, C. E.; SILVA, D. M.. O novo BCC da USP: um novo curso para os desafios do novo milênio. Em: Congresso da Sociedade Brasileira de Computação, p. 505-514, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
17.   FERREIRA, J.E.; BUSICHIA, G.. Database modularization design for the construction of flexible information systems. Em: IDEAS '99. International Database Engineering and Applications Symposium, p. 415-422, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
18.   GUBITOSO, M. D.; CORDSEN, J.. Improving Communication Support For Parallel Applications. Em: Europar'99, v. 1685, p. 188-192, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
19.   BARRERA, Junior; HASHIMOTO, Ronaldo F. A Simple Algorithm for Decomposing Convex Structuring Elements. Em: XII Brazilian Symposium on Computer Graphics and Image Processing, p. 275-282, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
20.   HESS, C. ; KON, F. ; ROMÁN, M. ; CAMPBELL, R. H. ; CARVALHO, D. ; MAGALHÃES, L. C.. Dynamic Resource Management for Smart Environments. Em: Inter-agency Workshop on Smart Environments, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
21.   HIRATA JR, R. ; BARRERA, Junior ; FLORES, F. C. ; LOTUFO, R. A.. Automatic dessign of morphological operators for motion segmentation. Em: Brazilian Symposium on Computer Graphics, v. 1, p. 283-292, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
22.   BARRERA, Junior; DOUGHERTY, Edward R ; HIRATA JR, R.. Optimal Range-Domain Window Filters. Em: Conference of the International Society for Mathematical Morphology, v. 3646, p. 38-45, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
23.   TOMITA, N. S. T. ; BARRERA, Junior ; DOUGHERTY, Edward R. Design of Statistically Optimal Stack Filters. Em: SIBGRAPI'99 (Brazilian Symposium on Computer Graphics and Image Processing), p. 265-274, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
24.   HIRATA, N. S. T.; DOUGHERTY, E. R. ; BARRERA, J.. Efficient Switching Algorithm for Designing Increasing Binary Filters. Em: Electronic Imaging, v. 3646, p. 185-196, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
25.   Jackowski, M. P.; GOSHTASBY, Ardeshir ; SATTER, M.. Interactive Tools for Image Segmentation. Em: SPIE's Symposium on Medical Imaging 1999: Image Processing, v. 3661, p. 1063-1074, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
26.   KON, F.; CAMPBELL, R. H.. Supporting Automatic Configuration of Component-Based Distributed Systems. Em: 5th USENIX Conference on Object-Oriented Technologies and Systems (COOTS'99), p. 175-187, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
27.   KON, F.; CAMPBELL, R. H.. Automatic Configuration of Component-Based Distributed Systems. Em: OOPSLA Doctoral Symposium, p. 117-118, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
28.   KON, F.; CAMPBELL, R. H.. A Framework for Dynamically Configurable Multimedia Distribution. Em: 9th ECOOP Workshop for PhD Students in Object-Oriented Systems, p. 118-127, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
29.   KON, F.; CARVALHO, D. ; CAMPBELL, R. H.. Automatic Configuration in the 2K Operating System. Em: 2nd ECOOP Workshop on Object Orientation and Operating Systems, p. 10-14, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
30.   LEMOS, M. ; BARROS, L. N. ; BERNAL, V. B. ; WAINER, J.. Building reusable knowledge models for the communication network domain. Em: Fourth Australian Knowledge Acquisition Workshop - AKAW 99, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
31.   MADEIRA, H. M. ; BARRERA, Junior ; HIRATA JR, R. ; TOMITA, N. S. T.. A new paradigma for architectures of morphological machines: binary decision diagrams. Em: Brazilian Symposium on Computer Graphics and Image Processing, p. 293-301, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
32.   MADEIRA, H. M. F. ; BARRERA, J. ; HIRATA JR., R. ; HIRATA, N. S. T.. A New Paradigm for the Architecture of Morphological Machines: Binary Decision Diagrams. Em: SIBGRAPI'99 (Brazilian Symposium on Computer Graphics and Image Processing), v. 1, p. 283-292, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
33.   MELO, Ana C. V. de; Barringer, H.. Reusing Hardware Components with Single-State Processes. Em: XII Brazilian Symposium on Integrated Circuit Design, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
34.   MONGELLI, H. ; SONG, S. W.. A Range Minima Parallel Algorithm For Coarse Grained Multicomputers. Em: IPPS99/Irregular99 - Sixth International Workshop on Solving Irregularly Structured Problems in Parallel, v. 1586, p. 1075-1084, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
35.   MORIMOTO, C. H.; AMIR, Arnon ; KOONS, David ; FLICKNER, Myron. Framerate pupil detector and gaze tracker. Em: Framerate Computer Vision Applications Workshop, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
36.   MORIMOTO, C. H.; KOONS, Dave ; AMIR, Arnon ; FLICKNER, Myron ; ZHAI, Shulmin. Keeping an eye for HCI. Em: SIBGRAPI'99: XII Brazilian Symposium in Computer Graphics and Image Processing., 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
37.   PATIÑO, M. ; BALLESTEROS, F. J. ; JIMENEZ, R. ; AREVALO, S. ; KON, F. ; CAMPBELL, R. H.. Batching: A Design Pattern for Efficient and Flexible Client-Server Interaction. Em: 6th Conference on Pattern Languages of Programs (PLoP'99), v. 6, p. 1-18, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
38.   PEREIRA, C. A. B. ; NAKANO, F. ; STERN, J. M.. A Dynamic Software Certification and Verification. Em: 5th International Conference on Information Systems Analysis and Synthesis (ISAS'99), 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
39.   ROMÁN, M. ; KON, F. ; CAMPBELL, R. H.. Design and Implementation of Runtime Reflection in Communication Middleware: the dynamicTAO Case. Em: ICDCS'99 Workshop on Middleware, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
40.   WASSERMANN, R. Full Acceptance Through Argumentation - A Preliminary Report. Em: Workshop on Practical Reasoning and Rationality, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
41.   Zhai, Shumin ; Morimoto, Carlos ; Ihde, Steven. Manual and gaze input cascaded (MAGIC) pointing. Em: the SIGCHI conference, p. 246-253, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1998

1.   A. Goldman; D. Trystram. Algorithms for the message exchange problem. Em: Parelec, p. 153-161, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   A. Goldman; D. Trystram ; J. Peters. Exchange of messages of different sizes. Em: Irregular, v. 1457, p. 194-205, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   A. Goldman; G. Mounie. Near optimal scheduling of UET-task chains on m BSP processors. Em: Rencontres Francophones du Paralelisme, p. 239-242, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   A. Goldman; G. Mounie ; D. Trystram. Near Optimal Scheduling of UET-task chains on m BSP processors. Em: High Performance Computing, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   BARRERA, Junior; FERREIRA, C. E. ; HASHIMOTO, Ronaldo F. Finding Optimal Sequential Decompositions of Erosions and Dilations. Em: International Symposium on Mathematical Morphology (ISMM´98), v. 12, p. 299-306, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   BARRERA, J. ; HASHIMOTO, R. F.. Compact Representation of W-Operators. Em: 10th Annual Symposium on Eletronic Imaging, p. 84-94, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   BARRERA, J. ; TERADA, R. ; LOTUFO, R. A. ; HIRATA, N. S. T. ; HIRATA JR., R. ; ZAMPIROLLI, F. A.. An OCR based on Mathematical Morphology. Em: Conference of the International Society for Optical Engineering, v. 3304, p. 197-208, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   BARRERA, Junior; BRUN, Marcel. Translation invariant transformations of discrete random sets. Em: Brazilian Symposium on Computer Graphics and Image Processing, p. 450-455, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   BARRERA, Junior; DOUGHERTY, Edward R. Representation of gray-scale windowed operators. Em: International Simposium on Mathematical Morphology, p. 19-26, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   BIRGIN, E. G.; MARTÍNEZ, J. M.. A spectral conjugate gradient method for unconstrained optimization. Em: IX Congreso Latino-Iberoamericano de Investigación Operativa, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11.   BIRGIN, E. G.; MARTÍNEZ, J. M.. Estimation of optical constants of thin films using unconstrained optimization. Em: Optical Interference Coating 9, p. 132-134, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
12.   CALINESCU, G. ; FERNANDES, C. G. ; REED, B.. Multicuts in Unweighted Graphs with Bounded Degree and Bounded Tree-Width. Em: IPCO, v. 6, p. 137-152, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
13.   CESAR JUNIOR, R. M.; CONSULARO, L.a. ; O. M. Bruno ; COSTA, L. da F.. Automatic Feature Selection for Biological Shape Classification in SYNERGOS. Em: Brazilian Conference on Computer Graphics, p. 363-370, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
14.   CESAR JUNIOR, R. M.; COSTA, L. da F.. Análise Multi-Escala de Formas Bidimensionais. Em: Sixth Iberoamerican Conference on Artificial Intelligence, p. 469-480, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
15.   CINTRA, G. F. ; Y. WAKABAYASHI. Um Algoritmo Híbrido para o Problema de Corte Unidimensional. Em: XXX Simposio Brasileiro de Pesquisa Operacional, p. 79-96, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
16.   CORREA DA SILVA, F. S.; VASCONCELOS, W. W. ; ROBERTSON, D. S.. Cooperation Between Knowledge Based Systems. Em: International Congress on Expert Systems, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
17.   DOUGHERTY, Edward R ; GREGORYAN, A. M. ; BARRERA, Junior ; TOMITA, N. S. T.. Binary Filter Design: Optimization, Prior Information and Robustness. Em: Conference of the International Society for Optical Engineering, v. 3457, p. 230-241, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
18.   DOUGHERTY, Edward R ; BARRERA, Junior. Prior information in the design of optimal binary filters. Em: International Simposium on Mathematical Morphology, p. 259-266, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
19.   E. S. Mesquita ; FINGER, M.. Projeto de Dados em Bancos de Dados Distribuídos. Em: XIII Simpósio Brasileiro de Banco de Dados (SBBD98), 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
20.   FERREIRA, C. E.; SIBRÃO, E. R.. Escalonamento em Sistemas de Produção: um estudo de caso. Em: XXX Simpósio Brasileiro de Pesquisa Operacional, p. 123-130, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
21.   FINGER, M. Tagging a Morphologically Rich Language: The construction of the Tycho Brahe Corpus of Historical Portuguese. Em: International Workshop on Text, p. 39-45, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
22.   FINGER, Marcelo ; CORREA DA SILVA, F. S.. Temporal Data Obsolescence: Modelling problems. Em: 5th International Workshop of Temporal Representation and Reasoning (TIME98), 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
23.   GUBITOSO, M. D.; SILVA, D. M. ; ENDLER, M.. Sistemas de Informacao Distribuida Para Agentes Moveis. Em: BRAZILIAN SOFTWARE AND HARDWARE SEMINARS, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
24.   HASHIMOTO, R. F. An Extension of an Algorithm for Finding Sequential Decomposition of Erosions and Dilations. Em: International Symposium on Computer Graphics, p. 443-449, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
25.   TOMITA, N. S. T. ; DOUGHERTY, Edward R ; BARRERA, Junior. Design of Large-Window Binary Filters via Iteration. Em: Conference of the International Society for Optical Engineering, v. 3522, p. 173-182, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
26.   HUMES C.; SILVA, P. J. S. E. ; SVAITER, B. F.. An Inexact Hybrid Projection - Proximal Augmented Lagrangean Algorithm. Em: Proceeding 36th Allerton, p. 450-459, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
27.   IAZZETTA, F. ; KON, F.. A Música Efêmera da Internet. Em: Encontro da Associação Nacional de Pesquisa e Pos-Graduação em Música (ANPPOM), p. 35-40, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
28.   KON, F.; CAMPBELL, R. H. ; TAN, S. ; VALDEZ, M. ; CHEN, Z. ; WONG, J.. A Component-Based Architecture for Scalable Distributed Multimedia. Em: 14th International Conference on Advanced Science and Technology (ICAST'98),, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
29.   KON, F.; IAZZETTA, F.. Internet Music: Dream or (virtual) Reality. Em: 5th Brazilian Symposium on Computer Music, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
30.   LAGO, A. P. Maximal Groups in Free Burnside Semigroups. Em: LATIN 98, v. 1380, p. 70-81, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
31.   LAURETTO, M. S. ; NAKANO, F. ; RIBEIRO, C. O. ; STERN, J. M.. REAL: Real Attribute Learning Algorithm. Em: World Multiconference on Systemics, v. 2, p. 315-321, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
32.   LAURETTO, M. S. ; NAKANO, F. ; RIBEIRO, C. O. ; STERN, J. M.. REAL: Algoritmo de Aprendizagem para Atributos Reais e Estratégias de Operação em Mercado. Em: Proceedings of IBERAMIA - Sixth Iberoamerican Conference on Artificial Intelligence, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
33.   LEE, O. ; Y. WAKABAYASHI. Circuit Covers in Series-Parallel Mixed Graphs. Em: LATIN'98: Theoretical Informatics, v. 1380, p. 226-238, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
34.   MIYAZAWA, F. K. ; Y. WAKABAYASHI. Algoritmos de Aproximacao para Problemas de Empacotamento. Em: XVIII Congresso Nacional de Matematica Aplicada e Computacional, p. 335-351, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
35.   MIYAZAWA, F. K. ; Y. WAKABAYASHI. Parametric On-Line Packing. Em: XXX Simposio Brasileiro de Pesquisa Operacional, p. 109-121, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
36.   MORIMOTO, C. H.; CHELLAPPA, R.. Evaluation of image stabilization algorithms. Em: ICASSP98 - Int. Conf. on Accoustics, v. 5, p. 2789-2792, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
37.   MORIMOTO, C. H.; KOONS, Dave ; AMIR, Arnon ; FLICKNER, Myron. Real time detection of eyes and faces. Em: PUI'98 - Perceptual User Interfaces, p. 117-120, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
38.   SAUKAS, E. L. G. ; SONG, S. W.. Efficient Selection Algorithms On Distributed Memory Computers. Em: ACM/IEEE Supercomputing'98, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
39.   SETZER, V.W. Uma revisão de argumentos a favor do uso de computadores na educação elementar. Em: IX Simpósio de Informática na Educação, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
40.   TAKEMOTO, C. Y. ; SONG, S. W.. Aplicação de Um Método de Imersão Para Problemas Matriciais No Hipercubo. Em: X Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho, p. 97-101, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
41.   TERADA, Routo; BARRERA, Junior ; LOTUFO, R A ; HIRATA, N S ; HIRATA JR, R ; ZAMPIROLLI, F A. An OCR based on Morphological Morphology. Em: 10th Annual Symp. on Electronic Imaging, v. 3304, p. 197-208, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
42.   TSUNETO, R. ; HENDLER, J. ; NAU, D. ; BARROS, L. N.. Matching Problem Features With Task Selection For Better Performance In HTN Planning. Em: Workshop on Knowledge Engineering and Acquisition for Planning: Bridging Theory and Practice held in conjunction with the AI Planning Sistems (AIPS), p. 85-93, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
43.   WASSERMANN, R. Revising Concepts. Em: Workshop of Logic, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
44.   WASSERMANN, R. On Structured Belief Bases - A Preliminary Report. Em: International Workshop on Nonmonotonic Reasoning, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1997

1.   A. Goldman; D. Trystram. An efficient parallel algorithm for solving the knapsack problem on hypercube. Em: 11 th parallel processing symposium., p. 608-615, 1997.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   A. Goldman; S. Fidanova. Parallel execution of irregular meshes into a linear systolic array. Em: @ns International Conference on Parallel Procesing, p. 267-274, 1997.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   BARRERA, Junior; HIRATA JR, R.. Fast algorithms to compute the elementary operators of Maathematical Morphology. Em: BrazilianSymposium on Computer Graphics and Image Processing, v. 1, p. 163-170, 1997.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   BARRERA, Junior; ZAMPIROLLI, F. A. ; LOTUFO, R. A.. Morphological operators characterized by neighbourhood graphs. Em: Brazilian Symposium on Computer Graphics and Image Processing, p. 179-186, 1997.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   BARROS, L. N.; HENDLER, J. ; BENJAMINS, R. V.. Par-KAP: A Knowledge Acquisition Tool For Building Practical Planning Systems. Em: International Joint Artificial Intelligence Conference - IJCAI'97, p. 1246-1251, 1997.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   BARROS, L. N.; HENDLER, J. ; BENJAMINS, R. V.. Par-KAP: a knowledge acquisition tool for building practical planning systems. Em: Ninth Dutch Conference on Artificial Intelligence, p. 137-148, 1997.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   BARROS, L. N.; RILLO, M.. Uma Biblioteca de Métodos de Resolução de Problemas de Planejamento Para Apoio À Aquisição de Conhecimento. Em: I Encontro Nacional de Inteligência Artificial (ENIA 1997), 1997.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   CACERES, E. ; F. Dehne ; A. Ferreira ; FLOCCHINI, F. ; RIEPING, I. ; RONCATO, A. ; SANTORO, N. ; SONG, S. W.. Efficient Parallel Graph Algorithms For Coarse Grained Multicomputers And BSP. Em: ICALP'97 - 24TH INTERNATIONAL COLLOQUIUM ON AUTOMATA, v. 1256, p. 390-400, 1997.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   CESAR JUNIOR, R. M.; CESAR, R. M. ; F JR, L.. Semi-Automated Dendrogram Generation For Neural Shape Analysis. Em: Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens - SIBGRAPI-97, p. 147-154, 1997.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   DOUGHERTY, E. R. ; BARRERA, J. ; HIRATA, N. S. T.. Optimal Filters From Prior Filters. Em: Conference of the International Society for Mathematical Morphology, v. VIII, p. 2-7, 1997.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11.   FERNANDES, C. G. A Better Approximation Ratio For The Minimum k-Edge-Connected Spanning Subgraph Problem. Em: 8TH ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, v. 8, p. 629-638, 1997.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
12.   FERREIRA, C. E.; LOPARIC, M.. Uma aplicação do Método Branch and Cut a um Problema de Roteamento de Veículos. Em: Congresso da Sociedade Brasileira de Computação, p. 509-516, 1997.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
13.   FERREIRA, J. E.; TRAINA JUNIOR, C.. Usando templates orientados a objetos para acesso a base de dados relacionais. Em: 6o. Congresso Nacional de Desenvolvimento de Sistemas e Orientacao a Objetos, v. 1, p. 276-285, 1997.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
14.   FINGER, M. Structural Equations And Complex Combinators. Em: {4th Internation Workshop of Logic, p. 1-10, 1997.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
15.   FINGER, M.; MCBRIEN, P.. Concurrency Control For Perceivedly Instantaneous Transactions In Valid-Time Databases. Em: Proceeding of the 4th International Workshop on Temporal Representation and Reasoning (TIME'97), p. 112-119, 1997.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
16.   FINGER, M.; REYNOLDS, M.. Two-Dimensional Executable Logic For Bitemporal Databases. Em: 2nd International Conference on Temporal Logic (ICTL'97), p. 1-10, 1997.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
17.   HIRATA JR, R. ; BARRERA, Junior ; LOTUFO, R. A.. A Tutorial on Image Segmentation via Mathematical Morphology with Khoros. Em: Khoros 97 proceedings, v. 1, p. 192-206, 1997.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
18.   HUMES C.; QUEIRÓZ, M. G.. Otimizacao global e o problema de designacao de fluxos e capacidades. Em: Anais do XXIX Congresso Nacional de Pesquisa Operacional, p. 83-84, 1997.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
19.   HUMES C.; SILVA, P. J. S. E.. Metodos de ponto proximal, separadores e lagrangeanos. Em: Anais do XX Congresso Nacional de Matematica Aplicada e Computacional, p. 110-111, 1997.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
20.   KOHAYAKAWA, Y. Szemeredi's Regularity Lemma For Sparse Graphs. Em: FOUNDATIONS OF COMPUTATIONAL MATHEMATICS, p. 216-230, 1997.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
21.   MELO, Ana C. V. de; Barringer, H.. Minimization of Synchronous Processes preserving Bisimulation. Em: X Brazilian Symposium on Integrated Circuit Design, p. 125-138, 1997.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
22.   MIYAZAWA, F. K. ; Y. WAKABAYASHI. Approximation Algorithms for Packing Small Itens. Em: XX Congresso Nacional de Matematica Aplicada e Computacional (CNMAC), p. 07-14, 1997.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
23.   MORIMOTO, C. H.; BURLINA, P. ; CHELLAPPA, R.. Video coding using hybrid motion compensation. Em: ICIP'97: International Conference on Image Processing, v. 1, p. 89-92, 1997.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
24.   MORIMOTO, C. H.; CHELLAPPA, R.. Evaluation of image stabilization algorithms. Em: DARPA Image Understanding Workshop, 1997.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
25.   MORIMOTO, C. H.; CHELLAPPA, R.. Fast 3D stabilization and mosaic construction. Em: CVPR'97 - Conf. on Computer Vision and Pattern Recognition, v. 1, p. 660-665, 1997.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
26.   MORIMOTO, C. H.; CHELLAPPA, R. ; BALAKIRSKY, S.. Fast image stabilization and mosaicking. Em: DARPA Image Understanding Workshop, 1997.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
27.   REVERBEL, F.; MACCABE, A. B.. Making CORBA Objects Persistent: The Object Database Adapter Approach. Em: Third Conference on Object-Oriented Technologies and Systems (COOTS '97), p. 55-65, 1997.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
28.   SAUKAS, E. L. G. ; SONG, S. W.. A Parallel Algorithm For Solving Tridiagonal Linear Systems On Coarse Grained Multicomputer. Em: IX SIMPÓSIO BRASILEIRO DE ARQUITETURA DE COMPUTADORES E PROCESSAMENTO DE ALTO DESEMPENHO, p. 463-474, 1997.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
29.   SETZER, V.W. O Computador como instrumento de anti-arte. Em: VIII Simpósio Brasileiro de Informática na Educação, 1997.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
30.   TERADA, Routo; NAKAHARA JR, J.. Linear and differential cryptanalysis of FEAL-N with swapping. Em: Internat´l Symp. on Computer and Information Security, 1997.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
31.   TRAINA JUNIOR, C. ; FERREIRA, J. E. ; BIAJIZ, M.. Use of a semantically grained database system for distribution and control within design environments. Em: Third Internacional Euro-Par Conference, v. 1, p. 1130-1135, 1997.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
32.   WASSERMANN, R. Towards a Theory of Resource Bounded Belief Revision. Em: Dutch-German Workshop in Non-Monotonic Reasoning, 1997.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1996

1.   BARRERA, J. ; SALAS, G. P. ; HASHIMOTO, R. F.. Set Operations on Closed Intervals and their applications to the Automatic Programming of MMACH´s. Em: International Symposium on Mathematical Morphology, v. 11, p. 377-384, 1996.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   BARRERA, J. ; TERADA, R. ; SILVA, F. S. C. ; HIRATA, N. S. T.. Automatic Programming Of Morphological Machines For OCR. Em: INTERNATIONAL SYMPOSIUM ON MATHEMATICAL MORPHOLOGY, p. 385-392, 1996.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   BARRERA, Junior; SALAS, G. P.. Set operations on collections of closed intervals and their applications to the automatic programming of MMach's. Em: International Simposium on Mathematical Morphology, p. 377-384, 1996.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   BARRERA, Junior; TERADA, R. ; SILVA, F. S. C. ; TOMITA, N. S. T.. Automatic programming of MMach's for OCR. Em: International Simposium on Mathematical Morphology, p. 385-392, 1996.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   BARROS, L. N.; VALENTE, A. ; BENJAMINS, R.. Modeling planning tasks. Em: Third International Conference on Artificial Intelligence Planning Systems. AIPS'96, p. 11-18, 1996.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   BENJAMINS, R. ; BARROS, L. N. ; VALENTE, A.. Constructing Planners Through Problem Solving Methods. Em: International Knowledge Acquisition Workshop, p. 14.1-14.20, 1996.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   CALINESCU, G. ; FERNANDES, C. G.. Finding Large Planar Subgraphs and Large Subgraphs of a Given Genus. Em: COCOON, v. 2, p. 152-161, 1996.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   CALINESCU, G. ; FERNANDES, C. G. ; FINKLER, U. ; KARLOFF, H.. A Better Approximation Algorithm For Finding Planar Subgraphs. Em: 7TH ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, v. 7, p. 16-25, 1996.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   CESAR JUNIOR, R. M.; ANTOINE, J. -. ; BARACHE, D. ; CESAR, R. M. ; F JR, L.. Multiscale Shape Analysis Using The Continuous Wavelet Transform. Em: IEEE International Conference on Image Processing (ICIP-96), p. 291-294, 1996.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   CESAR JUNIOR, R. M.; CESAR, R. M. ; C JUNIOR, R. ; COELHO, L. F.. Automatic Classification Of Retinal Ganglion Cells. Em: II Workshop on Cybernetic Vision, p. 51-56, 1996.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11.   CESAR JUNIOR, R. M.; CESAR, R. M. ; F JR, L.. Shape Characterization In Natural Scales By Using The Multiscale Bending Energy. Em: 13th International Conference on Pattern Recognition, v. 1, p. 735-739, 1996.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
12.   CESAR JUNIOR, R. M.; CESAR, R. M. ; F JR, L.. Shape Characterization By Using The Gabor Transform. Em: IEEE Digital Signal Processing Workshop, p. 215-218, 1996.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
13.   DOUGHERTY, Edward R ; BARRERA, Junior. Morphological paradigma for loss function-based design of morphological filters. Em: Conference of the Society for Optical Engineering, v. 2753, p. 3-10, 1996.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
14.   DURHAM, A. M.; JOHNSON, R. E.. An Approach to Designing Menu-based Languages. Em: TOOLS´96, 1996.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
15.   F. Dehne ; SONG, S. W.. Randomized Parallel List Ranking For Distributed Memory Multiprocessors. Em: ASIAN COMPUTING SCIENCE CONFERENCE, v. 1179, p. 1-10, 1996.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
16.   FERREIRA, C. E.; SOUZA, C. C. ; WAKABAYASHI, Y.. Rearrangement of DNA fragments: a branch and cut approach. Em: II ALIO/EURO Workshop on Practical Combinatorial Optimization, 1996.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
17.   FERREIRA, J. E.; TRAINA JUNIOR, C.. Controle de compartilhamento e acesso em GBDOO baseado em composição de objetos. Em: Simpósio Brasileiro de Banco de Dados, v. 1, p. 143-157, 1996.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
18.   FINGER, M.; MCBRIEN, P.. On The Semantics Of 'Current-Time' In Temporal Databases. Em: XI Brazilian Database Symposium (SBBD96), p. 324-337, 1996.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
19.   HAMDI, M. ; SONG, S. W.. On Embedding Various Networks Into The Hypercube Using Matrix Transformations. Em: 10TH IEEE INTERNATIONAL PARALLEL PROCESSING SYMPOSIUM, p. 650-654, 1996.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
20.   HUMES C.; KUMAR, P. R.. A linear programming approach to uniform functional expansions, heavy traffic pole multiplicities, and uniform stability for open queueing networks. Em: Proceedings of the 1995 IEEE, p. 1635-1638, 1996.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
21.   HUMES JUNIOR, C. ; BRANDÃO, L. O.. Questões de Estabilidade em Sistemas de Manufaturas Flexíveis. Em: Anais do XI Congresso Brasileiro de Automatica, p. 335-346, 1996.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
22.   KOCK, G. ; ENDLER, M. ; GUBITOSO, M. D. ; SONG, S. W.. Towards Transparent Parallelization Of Connectioneist Systems. Em: NINTH INT. CONF. ON PARALLEL AND DISTRIBUTED COMPUTING SYSTEMS, p. 0-0, 1996.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
23.   MORIMOTO, C. H.; BURLINA, P. ; CHELLAPPA, R. ; YAO, Y. S.. Performance analysis of model based video coding. Em: International Conference on Image Processing - ICIP'96, v. 3, p. 16-19, 1996.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
24.   MORIMOTO, C. H.; CHELLAPPA, R.. Automatic Digital Image Stabilization. Em: XI Congresso Brasileiro de Automática, 1996.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
25.   Morimoto, C.; CHELLAPPA, R.. Fast electronic digital image stabilization. Em: Proceedings of 13th International Conference on Pattern Recognition, v. 7276, p. 284-288, 1996.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
26.   Morimoto, C.; YACOOB, Y. ; DAVIS, L.. Recognition of head gestures using hidden Markov models. Em: Proceedings of 13th International Conference on Pattern Recognition, 1996.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
27.   OKUDA, K. Cycle shrinking by dependence reduction. Em: Euro-Par`96, p. 398-401, 1996.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
28.   TAN, S. ; CAMPBELL, R. H. ; CHEN, Z. ; LIAO, W. ; RAILA, D. ; KON, F. ; VALDEZ, M.. Adaptation and Synchronization in Low-Bandwidth Internet Video. Em: World Wide Web Consortium Workshop on Real Time Multimedia in the WWW (RTMW '96), 1996.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
29.   TOLENTINO, M. V. ; SANTOS, P. E. ; RILLO, M. ; CORREA DA SILVA, F. S.. Actions As Prolog Programs. Em: IEEE Joint Symposia on Intelligence and Systems, 1996.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
30.   TOMITA, N. S. T. ; BARRERA, Junior. Programação automática de máquinas morfológicas binárias baseada em aprendizagem PAC. Em: XXIII SEMISH, p. 517-525, 1996.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1995

1.   BOLLOBAS, B. ; KOHAYAKAWA, Y.. A note on long-range percolation. Em: Graph theory, v. 1, p. 97-113, 1995.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   CORREA DA SILVA, F. S.; KON, F.. Categorial Grammar And Harmonic Analysis. Em: Brazilian Symposium on Computer Music, 1995.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   CORREA DA SILVA, F. S.; KON, F.. Stylistic Musical Choices Via Preference Rules. Em: International Fuzzy Systems Association Congress, 1995.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   FERREIRA, C. E. ; SOUZA, C. C. ; Y. WAKABAYASHI. Reconstruction of DNA Fragments: a Graph Model. Em: XVIII Congresso Nacional de Matematica Aplicada e Computacional (CNMAC), p. 90-94, 1995.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   FINGER, M.; BRODA, K.. Ke-Tableaux And A Fragmento Of Linear Logic. Em: Proceedings of the 4th International Workshop on Analytic Tableaux and Related Methods, p. 1-10, 1995.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   GUBITOSO, M. D. ; SONG, S. W.. Influence Of Overhead On Processor Allocation For Multiple Loops. Em: VII SIMPÓSIO BRASILEIRO DE ARQUITETURA DE COMPUTADORES E PROCESSAMENTO DE ALTO DESEMPENHO, p. 399-407, 1995.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   HAMDI, M. ; SONG, S. W.. Efficient Embeddings Into The Hypercube Using Matrix Transformations. Em: 9TH ACM INTERNATIONAL CONFERENCE ON SUPERCOMPUTING, p. 280-288, 1995.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   HUMES JR, C. ; BRANDÃO, L. O. ; GARCIA, M. V. P.. On the optimal Design of Linear Corridor Policies. Em: 33rd Allerton Conference on Communication, p. 510-518, 1995.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   IAZZETTA, F. ; KON, F.. Maxannealing: A Tool for Algorithmic Composition Based on Simulated Annealing. Em: Brazilian Symposium on Computer Music, 1995.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   KHON, O. J. ; CHELLAPPA, R. ; MORIMOTO, C. H.. Motion compensated subband coding of video acquired from a moving platform. Em: ICASSP - International Conference on Acoustics, p. 2185-2188, 1995.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11.   MANDEL, A.; ; KON, F.. SODA: A Lease-Based Consistent Distributed File System. Em: XIII SIMPÓSIO BRASILEIRO DE REDES DE COMPUTADORES, p. 287-300, 1995.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
12.   KUMAR, P. R. ; HUMES C. ; OU, J.. A linear programming approach to functional bounds and uniform stability for open queueing networks. Em: 34th IEEE Conference on Decision and Control, p. 1635-1638, 1995.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
13.   LEE, O. ; Y. WAKABAYASHI. Caminhos Mínimos em Grafos Mistos. Em: XVIII Congresso Nacional de Matematica Aplicada e Computacional (CNMAC), p. 329-333, 1995.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
14.   MORIMOTO, C. H.; DEMENTHON, D. ; DAVIS, L. S. ; CHELLAPPA, R. ; NELSON, R.. Detection of independent moving objects in passive video. Em: Intelligent Vehicles Workshop, p. 270-275, 1995.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
15.   OKUDA, K. Encolhimento deCclo por Reducao de Dependencia. Em: VII Simposio Brasileiro de Arquitetura de Computadores-Processamento de Alto Desempenho, 1995.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
16.   SETZER, V.W.; Biazzi, M.R.. Valores vazios no modelo relacional de dados: uma proposta de implementação. Em: Simposio Latinoamericano de Informática, 1995.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
17.   SILVA, F. S. C. ; BARRERA, Junior. Automating the generation of proceduress to analyse binary images. Em: Simpósio Brasileiro de Computação Gráfica e Processamento de imagens, 1995.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
18.   SILVA, F. S. C. ; KON, F.. Stylistic Musical Choices Via Fuzzy Preference Rules. Em: Congress of the International Fuzzy Systems Association, 1995.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
19.   STERN, J. M. Critical-Point, a Software for Portfolio Optimization. Em: ICIAM'95 - Third International Congress on Industrial and Applied Mathematics, 1995.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
20.   STERN, J. M.; SILVA, M. E.. Efficient Portfolios at São Paulo Stock Exchange. Em: XVII Encontro Brasileiro de Econometria, v. 2, p. 995-1013, 1995.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
21.   BARRERA, Junior; TOMITA, N. S. T. ; SILVA, F. S. C. ; TERADA, R.. Automatic programming of binary morphological machines by PAC Learning. Em: Conference of the International Society fr Optical Engineering, v. 2568, p. 233-244, 1995.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
22.   TERADA, Routo; KOYAMA, K. ; KANEKO, T.. A study on the security of RDES cryptosystem against Linear Cryptanalysis. Em: Korea-Japan Joint Workshop on Information Security and Cryptology, v. V2, p. 2.1-2.10, 1995.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
23.   TERADA, Routo; PINHEIRO, P. G.. How to strengthen FEAL against Differential Cryptanalysis. Em: Korea-Japan Joint Workshop on Information Security and Cryptology, v. V1, p. 1.1-1.10, 1995.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1994

1.   BANON, G. J. F. ; BARRERA, Junior. Set operator decomposition and conditionally translation invariant elementary operators. Em: International Simposium on Mathematical Morphology, p. 5-12, 1994.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   BARRERA, Junior; BANON, G. J. F. ; LOTUFO, R. A.. A Mathematical Morphology toolbox for the Khoros system. Em: Conference of the International Society for mathematical Morphology, v. 2300, p. 241-252, 1994.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   BARRERA, Junior; SILVA, F. S. C. ; BANON, G. J. F.. Automating Programming Of Binary Morphological Machines. Em: Conference of the International Society for Optical Engineering, v. 2300, p. 229-240, 1994.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   CESAR JUNIOR, R. M.; CESAR, R. M. ; F JR, L.. The Contour Specialization Of Cyvis-I: An Effective Framework For Intermediate Visual Representation. Em: Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens, p. 205-212, 1994.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   FERREIRA, A. G. ; LEJBMAN, A. G. ; SONG, S. W.. Broadcasting In Bus Interconnection Networks. Em: INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING - CONPAR 94, v. 854, p. 797-807, 1994.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   FERREIRA, A. G. ; LEJBMAN, A. G. ; SONG, S. W.. Bus Based Parallel Computers: A Viable Way For Massive Parallelism. Em: PARLE'94 PARALLEL ARCHITECTURES AND LANGUAGES EUROPE, v. 817, p. 553-564, 1994.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   FERREIRA, J. E.; TRAINA JUNIOR, C.. Adding conceptual constructs to support distribution in an object oriented model. Em: Simpósio Brasileiro de Banco de Dados, v. 1, p. 216-229, 1994.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   FINGER, M. Notes On Several Methods For Combining Temporal Logics. Em: Workshop on Combining Structures, p. 1-10, 1994.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   FINGER, M.; FISHER, M. ; OWENS, R.. Metatem At Work: Modelling Reactive Systems Using Temporal Logics. Em: Sixth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, p. 1-6, 1994.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   HUMES C.; HUMES, A. F. P. C.. A clearing round-robin-based stabilization mechanism. Em: Proceedings 32nd Allerton, p. 414-423, 1994.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11.   SANCHES, C. A. A. ; SONG, S. W.. SIMD Algorithms For Matrix Multiplication On The Hypercube. Em: IEEE 8TH INTERNATIONAL PARALLEL PROCESSING SYMPOSIUM, p. 492-496, 1994.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
12.   SETZER, V.W.; Zisman, A.. New concurrency control algorithms for accessing and compacting B-Trees. Em: 20th International Conference on Very Large Data Bases (VLDB), p. 238-248, 1994.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
13.   SONG, S. W. Embedding Of Meshes On The Hypercube By Recursive Folding. Em: IEEE/USP INTERNATIONAL WORKSHOP ON HIGH PERFORMANCE COMPUTING, p. 83-95, 1994.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
14.   WASSERMAN, Renata ; CORREA DA SILVA, F. S.. Towards Efficient Modelling of Distributed Knowledge Using Equational and Order-Sorted Logic. Em: Simposio Brasileiro de Inteligencia Artificial, 1994.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1993

1.   CESAR JUNIOR, R. M.; LOTUFO, R A. Segmentação e descrição de contornos por B-Splines e sua aplicação no casamento de contornos. Em: VI Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens - VI SIBGRAPI, p. 55-64, 1993.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   CESAR JUNIOR, R. M.; LOTUFO, R A. Segmentação e representação de contornos por B-Splines para aplicações em Visão Computacional. Em: I Simpósio Brasileiro de Automação Inteligente - I SBAI, p. 223-232, 1993.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   CORREA DA SILVA, F. S.; PIETRANTONIO, H.. Analise do Conhecimento e Inferencia em um Sistema Especialista para Seguranca Viaria. Em: ANPET, 1993.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   FEEREIRA, A. G. ; LEJBMAN, A. G. ; SONG, S. W.. Comunicação Em Hipergrades e Hipertoros Usando Barramentos. Em: V SIMPÓSIO BRASILEIRO DE ARQUITETURAS DE COMPUTADORES E PROCESSAMENTO DE ALTO DESEMPENHO, p. 17-32, 1993.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   HUMES C. VÁRIOS TRABALHOS ANTES1994, (maior parte completos)entre os quais os abaixo citados. Em: Vários internacionais e nacionais, 1993.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   RISSET, T. ; SONG, S. W.. A Real-Time Systolic Algorithm For On-The-Fly Hidden Surface Removal. Em: ASAP'93 INTERNATIONAL CONFERENCE ON APPLICATION-SPECIFIC ARRAY PROCESSORS, p. 238-249, 1993.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   SIMON, I. The product of rational languages. Em: ICALP - International Conference on Automata, p. 430-444, 1993.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   TERADA, Routo; KOYAMA, K.. Probabilistic swapping schemes to strengthen DES against Differential Cryptanalysis. Em: Symp. of Cryptography and Information Security, 1993.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   TERADA, Routo; KOYAMA, K. ; KANEKO, T.. Dynamic swapping schemes and Differential Cryptanalysis. Em: Korea-Japan Joint Workshop on Information Security and Cryptology, p. 292-301, 1993.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1992

1.   BARRERA, Junior; BANON, G. J. F.. Expressiveness of the morphological language. Em: Conference of the International Society for Optical Engineering, v. 1769, p. 264-275, 1992.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   CORREA DA SILVA, F. S.; ROBERTSON, D. S. ; HESKETH, J.. Automated Reasoning with Uncertainties. Em: Applied Logic Conference, 1992.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   FERREIRA, A. G. ; SONG, S. W.. Achieving Optimality For Gate Matrix Layout And Pla Folding: A Graph Theoretic Approach. Em: LATIN'92 - LATIN AMERICAN THEORETICAL INFORMATICS, v. 384, p. 139-153, 1992.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   FERREIRA, J. E.; TRAINA JUNIOR, C.. Distribution Aspects In Databases for Project Suppot Environmrnts. Em: XII International Conference of the Chilean Computer Science Society, v. 1, p. 345-360, 1992.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   FINGER, M.; GABBAY, D.. Updating Atomic Information In Labelled Database Systems. Em: 4th International Conference on Database Theory, p. 188-200, 1992.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   HANSEL, G. ; PERRIN, D. ; SIMON, I.. Compression and entropy. Em: STACS - Symposium on Theretical Aspects of Computer Science, p. 515-528, 1992.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   HUMES C.; ZANJACOMO, P. R.. Dynamic Programming implementation using D.P. complexity studies. Em: XXIV Simpósio Brasileiro de Pesquisa Operacional, p. 231-237, 1992.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   KOBAYASHI, N. Properties of recognizable M-subsets of a free monoid. Em: LATIN '92 - 1st Latin American Symposium on Theoretical INformatics, v. 583, p. 314-328, 1992.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   OKUDA, K. Um Algoritmo para Decomposicao LU. Em: IV Simposio Brasileiro de Arquitetura de Computadores-Processamento de Alto Desempenho, 1992.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   ROBERT, Y. ; SONG, S. W.. New Techniques For Cycle Shrinking. Em: PARLE'92 PARALLEL ARCHITECTURES AND LANGUAGES EUROPE, v. 605, p. 449-464, 1992.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11.   SOARES, J. Graph Spanners. Em: SEMANA DE COMBINATORIA, p. 0-0, 1992.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
12.   SOARES, J. New Sparseness Results On Graph Spanners. Em: EIGHTH ANNUAL SYMPOSIUM ON COMPUTATIONAL GEOMETRY, p. 0-0, 1992.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
13.   SONG, S. W. Paralelização de Laços Encaixados Pela Técnica de Encolhimento de Ciclos. Em: II JORNADA IEEE/EPUSP EM SISTEMAS DE COMPUTAÇÃO DE ALTO DESEMPENHO, p. 1-11, 1992.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1991

1.   CESAR JUNIOR, R. M.; LINHARES, O L. Linguagens formais estocásticas: teoria das probabilidades e gramáticas formais em uma só teoria. Em: XIV Reunião da Sociedade Brasileira de Matemática Aplicada e Computacional, p. 75-77, 1991.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   CESAR JUNIOR, R. M.; LINHARES, O L. Métodos Numéricos de Aproximação poligonal: Uma Análise Comparativa de 3 Métodos. Em: Jornada EPUSP/IEEE em Computação Visual, p. 189-199, 1991.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   CORREA DA SILVA, F. S.; ROBERTSON, D. S. ; CHUNG, P.. Automated Reasoning About an Uncertain Domain. Em: ECSQARU, 1991.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   FERREIRA, A. G. ; SONG, S. W.. A Graph Theoretic Approach For Pla Area Optimization. Em: WORKSHOP ON APPLICATIONS OF COMBINATORIAL OPTIMIZATION IN SCIENCE AND TECHNOLOGY - C O S T, p. 117-122, 1991.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   FINGER, M.; MCBRIEN, P. ; OWENS, R.. Databases And Executable Temporal Logic. Em: Annual Esprit Conference, p. 288-302, 1991.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   KUNG, H. T. ; STEENKISTE, P. ; GUBITOSO, M. D. ; KHAIRA, M.. Parallelizing A New Class Of Large Applications Over High Speed Networks. Em: THIRD ACM SIG PLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF PARALLEL PROGRAMMING, p. 0-0, 1991.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   OKUDA, K. ; SONG, S. W.. Um Algoritmo Sistólico Iterativo Para Resolução de Sistemas Lineares. Em: JORNADA EPUSP/IEEE SOBRE SISTEMAS DE COMPUTAÇÃO DE ALTO DESEMPENHO, p. 37-45, 1991.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   OKUDA, K.; S.W.SONG,. Um Algoritmo Sistolico Iterativo para Resolucao de Sistema Linear. Em: Jornada EPUSP/IEEE em Sistema de Computacao de Alto Desempenho, p. 37-45, 1991.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   SONG, S. W. Método de Síntese de Algoritmos Sistólicos: Uma Interpretação Geométrica. Em: JORNADA EPUSP/IEEE SOBRE SISTEMAS DE COMPUTAÇÃO DE ALTO DESEMPENHO, p. 165-176, 1991.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1990

1.   CORREA DA SILVA, F. S.; BUNDY, A.. On Some Equivalence Relations Between Incidence Calculus and the Dempster-Shafer Theory of Evidence. Em: Uncertainty in Artificial Intelligence, 1990.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1989

1.   BOLLOBAS, B. ; KOHAYAKAWA, Y.. The hitting time of Hamilton cycles in random bipartite graphs. Em: Graph theory, p. 26-41, 1989.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   HUMES C. UMA versão finita do método CFA. Em: 7 Simpósio Brasileiro de Redes de Computadores, p. 605-648, 1989.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   HUMES C. Um método de designação de fluxos e capacidades. Em: Escola Brasileira de Otimização, p. 142-158, 1989.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   HUMES C.; FABBRI, R. C.. Análise de partição de servidores: o mito do balanceamento de carga. Em: XII Simpósio Brasileiro de Pesquisa Operacional, 1989.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   MELO, Ana C. V. de; VASCONCELOS, A M L ; ALBUQUERQUE, e S ; MARTINS, J F ; KELNER, J ; MEIRA, Silvio. Hipertexto: O projeto do sistema H. Em: III Simpósio Brasileiro de Engenharia de Software, 1989.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   MENZILCIOGLU, O. ; KUNG, H. T. ; SONG, S. W.. Comprehensive Evaluation Of A Two-Dimensional Configurable Array. Em: XIX INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING, p. 93-101, 1989.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   MENZILCIOGLU, O. ; KUNG, H. T. ; SONG, S. W.. A Highly Configurable Architecture For Systolic Arrays Of Powerful Processors. Em: INTERNATIONAL CONFERENCE ON SYSTOLIC ARRAYS, p. 0-0, 1989.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   SETZER, V.W. Auto-relacionamentos de grau variável. Em: 4o. Simpósio Brasileiro de Bancos de Dados, p. 110-118, 1989.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   SETZER, V.W. The Computerized Society: new Life or Destruction?. Em: Information Technology and Society: Theory - Uses - Impacts, p. 531-541, 1989.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   SIMON, I. Properties of Factorization Forests. Em: Formal Properties of Finite Automata and Applications, p. 65-72, 1989.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1988

1.   BANON, G. J. F. ; BARRERA, Junior. Morphological filtering for stripping correction of SPOT images. Em: Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens, p. 132-143, 1988.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   COHN, R. ; KUNG, H. T. ; MENZILCIOGLU, O. ; SONG, S. W.. A Highly Reconfigurable Array Of Powerful Processors. Em: 32ND SPIE ADVANCED ALGORITHMS AND ARCHITECTURES FOR SIGNAL PROCESSING, p. 336-343, 1988.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   II, F. A. M. ; DIAS, L. A. V. ; DÁLGE, J. C. ; BARRERA, Junior. Mudança automática no traçado de contornos por ocasião de redução de escala utilizando a Morfologia matemática. Em: Simpósio Brasileiro de Sensoriamento Remto, 1988.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   LUCCHESI, C. L. ; FEOFILOFF, P.. Determinacao de um corte impar minimo. Em: VIII Congresso da Soc Bras de Comput, p. 158-163, 1988.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   MELO, Ana C. V. de; VASCONCELOS, A M L ; MEIRA, Silvio. Links em um sistema de Hipertexto. Em: II Simpósio Brasileiro de Engenharia de Software, 1988.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   ROSIM, S. ; MARCONDES, S. P. ; MONTEIRO, A. M. ; DUTRA, L. V. ; BARRERA, Junior. ANIMA: analisador de imagens aplicado a sensoriamento remoto. Em: Simpósio Brasileiro de Sensoriamento Remoto, 1988.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   SETZER, V.W. Um sistema simples para documentação semi-automática de programas. Em: II Simpósio Brasileiro de Engenharia de Software, 1988.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   SIMON, I. Recognizable sets with multiplicity in the tropical semiring. Em: Mathematical Foundations of Computer Science, p. 107-120, 1988.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   SIMON, I. Sequence comparison: some theory and some practice. Em: Electronic Dictionaries and Automata in Computational Linguistics, p. 79-92, 1988.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   SONG, S. W. Um Esquema de Reconfiguracao Heuristico Para Um Computador Paralelo Tolerante A Falhas. Em: II SIMPOSIO BRASILEIRO DE ARQUITETURA DE COMPUTADORES, p. 801-810, 1988.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1987

1.   BARRERA, Junior; MASCARENHAS, N. D. ; BANON, G. J. F.. Aplicações da Morfologia Matemática. Em: SEMISH, p. 72-87, 1987.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   BARROS, L. N.; Julia, R. M. S. ; Lopes, C. R.. A Compilação como uma Ferramenta para Geração de Esquemas de Representação. Em: 4o. Simpósio Brasileiro de Inteligência Artificial, v. 1, p. 12-107, 1987.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   TERADA, Routo. Aplicacoes de Assinatura Digital Em Integridade de Documentos Eletronicos. In: XX CONGRESSO NACIONAL DE INFORMATICA. p. 0-0, 1987.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1986

1.   BARRERA, Junior; DUTRA, L V ; MASCARENHAS, N D A ; MONTEIRA, A M V ; ROSIM, S. Anima: sistema de análise morfológica de imagens microscópicas. Em: I Congresso Brasileiro de Informática em Saúde, 1986.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   OKUDA, K. ; SONG, S. W.. Um Algoritmo de Multiplicacao de Matrizes Para Implementacao Em Vlsi. Em: I CONGRESSO DA SOCIEDADE BRASILEIRA DE MICROELETRONICA, p. 383-393, 1986.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   SANTELLANO, J. ; BARRERA, Junior. Sistemas de Processamento de Imagens. Em: Simpósio Brasileiro do Microfilme, 1986.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1985

1.   BARROS, L. N.; Pereira, A. E. C.. Anatomia de um Sistema Perito. Em: 2o Simpósio Brasileiro de Inteligência Artificial, v. 1, p. 81-84, 1985.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   FEOFILOFF, P. Transversais de cortes orientados em grafos bipartidos. Em: XV Coloquio Brasileiro de Matematica, p. 127-137, 1985.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   GUICHOU, C. ; BARRERA, Junior. Um instrumento de análise de imagens: por computadora morfologia matemática. Em: SEMISH, 1985.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   MASCARENHAS, W. F. Sobre as aplicações de Lorenz. Em: XIV Colóquio Brasileiro de Matemática, 1985.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   MELO, I. S. H. ; SONG, S. W.. Reconhecimento de Linguagens Regulares Por Standard Cells. Em: V SIMPOSIO BRASILEIRO DE MICROELETRONICA, p. 373-382, 1985.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   SONG, S. W. Disposicoes Compactas de Arvores No Plano. Em: II SIMPOSIO BRASILEIRO DE CONCEPCAO DE CIRCUITOS INTEGRADOS, p. 16-26, 1985.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1984

1.   DURHAM, A. M.; SETZER, V. W.. Um Sistema Gráfico Para Micros com Particionamento em Janelas Virtuais. Em: IV Simpósio Brasileiro de Software, 1984.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1983

1.   MANDEL, A. Alguns Problemas de Enumeracao Em Geometria. Em: ATAS DO XIV COLOQUIO BRASILEIRO DE MATEMATICA, p. 0-0, 1983.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   SETZER, V.W.; Lapyda, R.. Design of data models for the ADABAS system using the E-R approach. Em: Entity-Relationship Approach to Information Modeling and Analysis., p. 321-338, 1983.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   SONG, S. W. Complexidade de E/S e Projetos Optimais de Dispositivos Para Ordenacao. Em: XIV COLOQUIO BRASILEIRO DE MATEMATICA, p. 0-0, 1983.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1982

1.   SONG, S. W. Um Dispositivo Em Forma de Arvore Para Banco de Dados. Em: II SIMPOSIO SOBRE BANCO DE DADOS, p. 401-412, 1982.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   TERADA, Routo. Complexidade de Detecção de Procedimentos Recursivos. In: XIV COLOQUIO BRASILEIRO DE MATEMATICA, 1982. p. 0-0, 1982.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1981

1.   GROETSCHEL, M. ; Y. WAKABAYASHI. Constructions of Hypotraceable Digraphs. Em: International Congress on Mathematical Programming, p. 147-175, 1981.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   GURGEL, M. A. M. C. ; Y. WAKABAYASHI. Embedding of Trees. Em: International Congress on Mathematical Programming, p. 177-184, 1981.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   KUNG, H. T. ; SONG, S. W.. A Systolic 2-D Convolution Chip. Em: WORKSHOP ON COMPUTER ARCHITECTURE FOR PATTERN ANALYSIS AND IMAGE DATABASE MANAGEMENT, 1981.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1980

1.   HUMES C.; ALII, E.. Uma experiência de ensino auxiliado por computador. Em: XII Simpósio Nacional de Processamento de dados, p. 218-226, 1980.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   SONG, S. W. A Highly Concurrent Tree Machine For Database Applications. Em: 1980 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING, p. 259-268, 1980.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   SONG, S. W. A Database Machine With Novel Space Allocation Algorithms. Em: MPC79 - MULTI PROJECT CHIP 1979, p. 0-0, 1980.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1979

1.   HUMES C. Uma introdução a Problemas de Grande Porte em Programação Matemática. Em: 12 Colóquio Brasileiro de Matemática, p. 48-65, 1979.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   SETZER, V.W.; Lapyda, R.. Program development by transformations applied to relational database queries. Em: 5th International Conference on Very Large Data Bases (VLDB), p. 436-443, 1979.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1978

1.   SIMON, I. Limited subsets of a free monoid. Em: Symposium on Foundations of Computer Science, v. 19, p. 143-150, 1978.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   SIMON, I. Alguns problemas típicos na teoria dos grafos. Em: 10o Colóquio Brasileiro de Matemática, 1978.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   SIMON, I.; MURTY, U. S. R.. A beta-function that is not a sum of rank functions of matroids. Em: Problemes Combinatoires et Theorie des Graphs, 1978.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1977

1.   KUNG, H. T. ; SONG, S. W.. An Efficient Parallel Garbage Collection System And Its Correctness Proof. Em: XVIII IEEE ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, p. 120-133, 1977.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1976

1.   SETZER, V.W. O computador como instrumento do cientificismo. Em: I Simpósio Anual da Academia de Ciências do E.S.Paulo, p. 69-88, 1976.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1975

1.   SIMON, I. Piecewise Testable Events. Em: 2nd GI Conference, p. 214-222, 1975.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1972

1.   HUMES C. Uma generalização do teorema de Hanson-Huard. Em: V Simpósio Brasileiro de Pesquisa Operacional, p. 36-40, 1972.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1971

1.   SETZER, V.W.; Warlick, C.M.. A unified approach to compiler theory and construction. Em: Information Processing 71 (IFIP), p. 1523-1542, 1971.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   SIMON, I.; BRZOZOWSKI, J. A.. Characterizations of Locally Testable Events. Em: 12th Annual Symposium on Switching and Automata Theory, p. 166-176, 1971.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

*itens sem ano

1.   BARRERA, Junior. ; A ; decomposition ; theorem ; in ; Mathematical ; Morphology. ; In: ; International ; Simposium ; on ; Mathematical ; Morphology, 1993, Barcelona. ; Mathematical ; Morphology ; and ; its ; applications ; to ; Image ; and ; Signal ; Processing, 1993. ; p. ; 234-237.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   BARRERA, Junior. ; Design ; of ; morphological ; set ; operators ; by ; statistical ; optimization. ; In: ; IEEE-EURASIP ; Workshop ; on ; Nonlinear ; Signal ; and ; Image ; Processing, 1999, Antalia. ; Nonlinear ; Signal ; and ; Image ; Processing ; (NSIP ; '99), 1999. ; p. ; 185-189.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   BARRERA, Junior. ; Estudo ; da ; proliferação ; celular ; por ; análise ; de ; imagens. ; In: ; Simpósio ; Brassileiro ; de ; Computação ; Gráfica ; e ; Processamento ; de ; Imagens, 1991, Sãao ; Paulo. ; SIBGRAPI ; '91, 1991. ; p. ; 201-212.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   Finger, Marcelo. ; Using ; Abduction ; to ; Compute ; Efficient ; Proofs. ; In: ; Third ; Workshop ; on ; Logical ; and ; Semantic ; Frameworks ; with ; Applications ; (LSFA ; 2008), 2009, Salvador. ; Electronic ; Notes ; in ; Theoretical ; Computer ; Science, 2008. ; v. ; 247. ; p. ; 39-49.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   MELO, Ana ; C. ; V. ; de. ; A ; study ; on ; the ; Potential ; Active ; Names ; and ; Verification ; Techniques. ; In: ; VI ; Workshop ; de ; Métodos ; Formais, 2003, Campina ; Grande. ; Proceedings ; of ; the ; VI ; Workshop ; of ; Formal ; Methods, 2003.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   MELO, Ana ; C. ; V. ; de. ; Minimising ; Communications ; of ; Synchronous ; Hardware. ; In: ; 6th ; IEEE ; International ; Conference ; on ; Electronics, Circuits ; and ; Systems, 1999, Paphos. ; Proceedings ; os ; ICECS'99. ; Paphos ; - ; Cyprus: ; IEEE ; Computer ; Press, 1999.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   MELO, Ana ; C. ; V. ; de. ; On ; the ; algebraic ; reuse ; of ; hardware ; design. ; In: ; 1998 ; IEEE ; International ; Symposium ; on ; Circuits ; and ; Systems, 1998, Monterey. ; On ; the ; algebraic ; reuse ; of ; hardware ; design, 1998. ; v. ; 6. ; p. ; 306-310.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   MELO, Ana ; C. ; V. ; de. ; Pi-Calculus ; Rewriting ; Rules ; Based ; on ; Active ; Names. ; In: ; SBMF2004: ; 7th ; Brazilian ; Symposium ; on ; Formal ; Methods, 2004, Recife. ; SBMF2004: ; 7th ; Brazilian ; Symposium ; on ; Formal ; Methods, 2004.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   MELO, Ana ; C. ; V. ; de. ; Process ; Algebras ; and ; Logic; ; a ; perspective ; on ; formal ; methods. ; In: ; I ; Workshop ; de ; Métodos ; Formais, 1998, Porto ; Alegre. ; Anais ; do ; I ; Wokshop ; de ; Métodos ; Formais. ; Porto ; Alegre ; - ; RS ; - ; Brasil: ; UFRGS, 1998.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   MELO, Ana ; C. ; V. ; de. ; Towards ; Formal ; Reuse ; of ; Hardware ; Components. ; In: ; International ; Conference ; on ; Modelling ; and ; Simulation, 1997, Pittsburgh. ; IASTED/ISMM ; - ; Int. ; Conf. ; Modeling ; and ; Simulation, 1997. ; p. ; 447-451.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11.   TERADA, Routo. ; A ; cryptographic ; function ; based ; on ; majority ; circuits. ; In: ; Symp. ; of ; Cryptography ; and ; Information ; Security, 1990, Nihondaira, Japão. ; Proc. ; of ; the ; 1990 ; Symp. ; of ; Cryptography ; and ; Information ; Security. ; Tóquio: ; IEICE ; - ; Inst. ; of ; Electronics, Information, and ; Communication ; Eng, 1990. ; v. ; B. ; p. ; 1-13.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
12.   TERADA, Routo. ; Algoritmos ; Rapidos ; Para ; Ordenacao ; Em ; Paralelo. ; In: ; X ; CONGRESSO ; NACIONAL ; DE ; MATEMATICA ; APLICADA, 1987. ; COMPUTACIONAL ; - ; SBMAC. ; p. ; 0-0.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
13.   TERADA, Routo. ; Classes ; de ; Computacao ; Paralela. ; In: ; I ; SIMPOSIO ; BRASILEIRO ; DE ; ARQUITETURA ; DE ; COMPUTADORES ; - ; SBC, 1987. ; p. ; 0-0.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
14.   TERADA, Routo. ; Criptografia ; para ; Usuarios ; em ; ATM. ; In: ; VII ; CONGRESSO ; NACIONAL ; DE ; AUDITORES ; INTERNOS, 1984, Manaus, Amazonas. ; VII ; CONGRESSO ; NACIONAL ; DE ; AUDITORES ; INTERNOS, 1984. ; p. ; 0-0.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
15.   TERADA, Routo. ; Probabilistic ; Analysis ; Of ; Optimal ; Algoritmms ; For ; Three ; Np-Hard ; Problems. ; In: ; XIII ; Internat´l ; Symp. ; Math. ; Programming, 1988, Tokyo. ; XIII ; Internat´l ; Symp. ; Math. ; Programming. ; Tokyo, Japão: ; Chuo ; University, 1988. ; p. ; 1-16.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
16.   TERADA, Routo. ; Solucoes ; de ; Zero-Knowledge ; Para ; Problemas ; de ; Identificacao ; Criptografica. ; In: ; XXI ; CONGRESSO ; NACIONAL ; DE ; INFORMÁTICA, 1988. ; XXI ; CONGRESSO ; NACIONAL ; DE ; INFORMÁTICA, 1988. ; p. ; 0-0.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
17.   TERADA, Routo. ; The ; incremental ; splitting ; of ; intervals ; algorithm. ; In: ; Internatl ; Symp ; of ; Mathematical ; Morphology, 2002, Sydney. ; Proceedings ; of ; the ; Internatl ; Symp ; of ; Mathematical ; Morphology ; 2002, 2002.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]


Data de processamento: 31/03/2016 13:54:43