-
1
-
-
0031338097
-
Paralog-e: A Paraconsistent Evidential Logic Programming Language
-
IEEE Computer Society Press, Valparaiso, Chile, November
-
Ávila, B.C.; Abe, J.M.; Prado, J.P.A., Paralog-e: A Paraconsistent Evidential Logic Programming Language, XVII International Conference of the Chilean Computer Science Society, IEEE Computer Society Press, Valparaiso, Chile, November, pp.2-8, 1997
-
(1997)
XVII International Conference of the Chilean Computer Science Society
, pp. 2-8
-
-
Ávila, B.C.1
Abe, J.M.2
Prado, J.P.A.3
-
2
-
-
85027603043
-
Paraconsistent Logic Programming
-
th Conference on Foundations of Software Technology and Theoretical Computer Science, Springer-Verlag
-
th Conference on Foundations of Software Technology and Theoretical Computer Science, Lecture Notes in Computer Science, Springer-Verlag, Vol. 287, pp. 340-360, 1987
-
(1987)
Lecture Notes in Computer Science
, vol.287
, pp. 340-360
-
-
Blair, H.A.1
Subrahmanian, V.S.2
-
3
-
-
35048838928
-
Numeral Slant Normalization Basead on Contextual Informational
-
Accept Amsterdam, Netherlands, September
-
th International Workshop on Frontiers in Handwritten Recognition, Amsterdam, Netherlands, September, 2000
-
(2000)
th International Workshop on Frontiers in Handwritten Recognition
-
-
Brito, A.S.1
Bortolozzi, F.2
Lethelier, E.3
Sabourin, R.4
-
4
-
-
2342443872
-
Calculs Propositionnels pour les Systèmes Formels Inconsistants
-
(Paris), French
-
da Costa, N.C.A., Calculs Propositionnels pour les Systèmes Formels Inconsistants, Compte Rendu Acad. des Sciences (Paris), 257, pp. 3790-3792, 1963, in French
-
(1963)
Compte Rendu Acad. des Sciences
, vol.257
, pp. 3790-3792
-
-
Da Costa, N.C.A.1
-
5
-
-
84887121634
-
Automatic Theorem Proving in Paraconsistent Logics: Logics and Implementation
-
th International Conference on Automatic Deduction
-
th International Conference on Automatic Deduction, Lecture Notes in Computer Science, Vol 449, pp. 72-86, 1990
-
(1990)
Lecture Notes in Computer Science
, vol.449
, pp. 72-86
-
-
Da Costa, N.C.A.1
Henschen, L.J.2
Lu, J.J.3
Subrahmanian, V.S.4
-
6
-
-
35048815893
-
Decision Tree-Based Paraconsistent Learning
-
IEEE Computer Society Press, Talca, Chile
-
Enembreck, F.; Ávila B.C.; Sabourin, R., Decision Tree-Based Paraconsistent Learning, In: Proceedings of XIX International Conference of the Chilean Computer Science Society, pp. 32-44, IEEE Computer Society Press, Talca, Chile, 1999
-
(1999)
Proceedings of XIX International Conference of the Chilean Computer Science Society
, pp. 32-44
-
-
Enembreck, F.1
Ávila, B.C.2
Sabourin, R.3
-
7
-
-
0003993042
-
Specification of the KQML Agent-Comunication Language
-
External Interfaces Working Group, June
-
Finin et al., Specification of the KQML Agent-Comunication Language, DARPA Knowledge Sharing Initiative, External Interfaces Working Group, June 1993
-
(1993)
DARPA Knowledge Sharing Initiative
-
-
Finin1
-
9
-
-
35048818372
-
Reconhecimento do Extenso Manuscrito em Cheques Bancários Brasileiros
-
Curitiba, Brasil, Novembro
-
Freitas, C.; Bortolozzi, F.; Sabourin, R., Reconhecimento do Extenso Manuscrito em Cheques Bancários Brasileiros, ISDM98, Curitiba, Brasil, pp 149-167, Novembro, 1998
-
(1998)
ISDM98
, pp. 149-167
-
-
Freitas, C.1
Bortolozzi, F.2
Sabourin, R.3
-
11
-
-
32044457666
-
-
Thèse de Doctoraty, Laboratoire d'Informatic, Unité C.N.R.S. Ècole polytechinique, Paris, France
-
Montoliu L., Architecture multi-agents et réseaux connexionnistes: Application à la lecture de chèques manuscrits, Thèse de Doctoraty, Laboratoire d'Informatic, Unité C.N.R.S. no 1439, Ècole polytechinique, Paris, France, 1995
-
(1995)
Architecture Multi-agents et Réseaux Connexionnistes: Application À la Lecture de Chèques Manuscrits
, vol.1439
-
-
Montoliu, L.1
-
12
-
-
0000391763
-
Mathematic Morphology and Weighted Least Square to Correcting Handwritten
-
Bangalore, India, September
-
th International Conference on Document Analysis na Recognition, Vol.I, pp. 430-433, Bangalore, India, September,1999
-
(1999)
th International Conference on Document Analysis Na Recognition
, vol.1
, pp. 430-433
-
-
Monta, M.E.1
Bortolozzi, F.2
Facon, J.3
Sabourin, R.4
-
13
-
-
0000825153
-
A New Segmentation Approach for Handwritten Digits
-
Barcelona, Spain, September
-
th International Conference on Pattern Recognition, Barcelona, Spain, September, 2000
-
(2000)
th International Conference on Pattern Recognition
-
-
Oliveira, L.E.1
Bortolozzi, F.2
Lethelier, E.3
Sabourin, R.4
-
15
-
-
84955570665
-
A Simple Methodology to Bank Cheque Segmentation
-
Published Springer-Verlag, Curitiba, Brazil
-
Santos J.E.B; Bortolozzi F.; Sabourin R., A Simple Methodology to Bank Cheque Segmentation, Published in the Lecture Notes in Computer Science - on Advances in Document Image Analysis, number 1339, Springer-Verlag, Curitiba, Brazil, 1997
-
(1997)
Lecture Notes in Computer Science - On Advances in Document Image Analysis
, vol.1339
-
-
Santos, J.E.B.1
Bortolozzi, F.2
Sabourin, R.3
-
16
-
-
84949486991
-
Multicheck: Une Architecture d'agents cognitifs indépendants pour le traitement automatique des chèsques bancaires Brésiliens
-
Canada, Maio
-
Scalabrin E., Bortolozzi F., Kaestner C., Sabourin R., Multicheck: Une Architecture d'agents cognitifs indépendants pour le traitement automatique des chèsques bancaires Brésiliens, In: CIFED'98, Canada, Maio, 1998
-
(1998)
CIFED'98
-
-
Scalabrin, E.1
Bortolozzi, F.2
Kaestner, C.3
Sabourin, R.4
-
17
-
-
0005256208
-
-
Thèse de Doctorat, Université de Technologie de Compiègne, France
-
Scalabrin, E. E., Conception et Réalisation d'environnement de développement de systèmes d'agents cognitifs, Thèse de Doctorat, Université de Technologie de Compiègne, pp. 169, France, 1996
-
(1996)
Conception et Réalisation d'Environnement de Développement de Systèmes d'Agents Cognitifs
, pp. 169
-
-
Scalabrin, E.E.1
-
18
-
-
29144459231
-
Towards a Theory of Evidential Reasoning
-
Granada, Spain, July
-
Subrahmanian V., S.; Towards a Theory of Evidential Reasoning, Logic Colloquium'87, The European Summer Meeting of the Association for Simbolic Logic, Granada, Spain, July, 1987
-
(1987)
Logic Colloquium'87, The European Summer Meeting of the Association for Simbolic Logic
-
-
Subrahmanian, V.S.1
|