PL
 |
EN

PL EN

Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników
Powiadomienia systemowe
  • Sesja wygasła!
  • Sesja wygasła!
Tytuł artykułu

From picture processing to interval diagrams

Autorzy
Kulpa Z.
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
The main aim of the work is the development and presentation of the novel diagrammatic notation for interval algebra and computation developed by the author, and howing its usefulness in some areas of interval algebra. Additionally, as a background for that undertaking, a state of the art survey and partially novel sistematization of basic issues of diagrammatics is attempted, including a unifield framework for relating various subfields and aspects of the pictoral information handling domain.
Słowa kluczowe
EN
algebra  
PL
algebra  
Wydawca
Instytut Podstawowych Problemów Techniki PAN
Czasopismo
Prace Instytutu Podstawowych Problemów Techniki PAN
Rocznik
2003
Tom
nr 4
Strony
1--313
Opis fizyczny
Bibliogr. 336 poz.
Twórcy
autor
Kulpa Z.
Bibliografia
  • Papers in refereed international journals
  • [1] Z. Kulpa: S. Markov (2003) On the inclusion properties of interval multiplication: A diagrammatic study. BIT (accepted for publication).
  • [2] Z. Kulpa, (2003) Self-consistency, imprecision, and impossible cases in diagrammmatic; representations. In: [77], 147-160.
  • [3] T.L. Le, Z. Kulpa, (2003) Diagrammatic spreadsheet. In: [77], 133-146.
  • [4] Z. Kulpa (2003) Diagrammatic analysis of interval linear equations. Part Il: 7 two-dimensional case and generalization to n dimensions. Reliable Computing. 9(3): 205-228.
  • [5] Z. Kulpa (2003) Diagrammatic analysis of interval linear equations. Part I: Basic notions and the one-dimensional case. Reliable Computing, 9(1): 1-20.
  • [6] K. Rosłaniec, Z. Kulpa, M. Kleiber (2002) Qualitative model-based analysis of truss structures. Computer Assisted Mechanics and Engineering Sciences. 9(1): 123-133.
  • [7] Z. Kulpa (2001) Diagrammatic representation for interval arithmetic. Linear Algebra and Its Applications, 324: 55-80. |
  • [8] Z. Kulpa, K. Rosłaniec (2000) Solution sets for systems of linear interval equations. Computer Assisted Mechanics and Engineering Sciences, T(4): 625-639.
  • [9] Z. Kulpa, T.L. Le (2000) Characterization of convex and pointisable interval relations by diagrammatic methods. Machine GRAPHICS & VISION, 9: 221-231.
  • [10] Z. Kulpa, A. Radomski, O. Gajl, M. Kleiber. I. Skalna (1999) Hybrid expert system for qualitative and quantitative analysis of truss structures. Engineering Applications of Artificial Intelligence, 12(1): 229-240.
  • [11] Z. Kulpa, A. Pownuk, I. Skalna (1998) Analysis of linear mechanical structures e uncertainties by means of interval methods. Computer Assisted Mechanics ana Engineering Sciences, 5(4): 448-477.
  • [12] Z. Kulpa (1997) Diagrammatic representation for a space of intervals. ln: [78]. 5-24.
  • [13] Z. Kulpa (1997) Diagrammatic representation of interval space in proving theorems about interval relations. Reliable Computing, 3: 209-217.
  • [14] M. Kleiber, Z. Kulpa (1995) Computer-assisted hybrid reasoning in simulation and analysis of physical systems, Computer Assisted Mechanics and Engineering Science, 2(3): 165-186.
  • [15] Z. Kulpa (1994) Diagrammatic representation and reasoning. Machine GRAPHICS & VISION, 3(1-2): 77-103.
  • [16] Z. Kulpa (1987) Putting order in the impossible. Perception, 16: 201 -214.
  • [17] Z. Kulpa, B. Kruse (1984) Algorithms for circular propagation in discrete images. Computer Vision, Graphics and Image Processing, 24: 305-328.
  • [18] Z. Kulpa (1983) More about areas and perimeters of quantized objects. Cornputer Vision, Graphics and Image Processing, 22: 268-276.
  • NLE9] Z. Kulpa (1983) Are impossible figures possible? Signal Processing, 5(3): 201-220.
  • [20] Z. Kulpa, M. Doros (1981) Freeman digitization of integer circles minimizes the radial error. Computer Graphics and Image Processing, 17: 181-184.
  • [21] Z. Kulpa (1979) On the properties of discrete circles, rings and disks. Computer Graphics and Image Processing, 10: 348-365.
  • [22] Z. Kulpa (1977) Area and perimeter measurement of blobs in discrete binary pictures. Computer Graphics and Image Processing, 6(5): 484—451.
  • [23] Z. Kulpa (1977) Planar grammars, parallel picture processing algorithms and their equivalence. Control and Cybernetics, 6(2): 5-16.
  • [24] Z. Kulpa (1977) Sistemy analiza graficheskikh izobrazhenyi i ikh programmnoye obezpechenye [Graphical image analysis systems and their software, in Russian]. Izvestya AN SSSR - Tekhnicheskaya Kibernetika, 1977(4): 82-88. Papers in refereed proceedings and collections
  • Papers in refereed proceedings and collections
  • [25] Z. Kulpa (2000) A diagrammatic notation for interval algebra. In: [DIAGRAMS 2000a], 471-474.
  • [26] Z. Kulpa (2001) Towards diagrammatic analysis of systems of interval „linear equations.” In: [[NTERVALS 2001], 115-126.
  • [27] Z. Kulpa, M. Sobolewski (1992) Knowledge-directed graphical and natural language interface with a knowledge-based concurrent engineering environment. In: Proc. CARs & FOF: 8th International Conference on CAD/CAM, Robotics and factories of the Future (Metz, France, 1992), vol. 1: 238-248.
  • [28] Z. Kulpa, M. Sobolewski, 5.N. Dwivedi (1990) Graphical user interface with object-oriented knowledge-based engineering environment. In: S.N. Dwivedi. A.K. Verma, J.E. Sneckenberger, eds.. CAD/CAM, Robotics and factories of the Future '90, Vol. 1: Concurrent Engineering, Springer-Verlag, Berlin, 154-159.
  • [29] M.W. Sobolewski. Z. Kulpa (1984) From sentences to attribute International Conference ar and Information-Control Systema of Robots (Proc 3rd International Conference on…, Smolenice, Czechoslovakia 1984) Elsevier (North-Holland) Amsterdam, 345-348.
  • [30] Z. Kulpa (1982/83) Impossible figures: Computer-aided visual communication. In: S. Levialdi, ed.: Digital Image Analysis (Proc. 2nd Conference on Image Analysis and Processing, Fasano 1982). Pitman. London 1983. 280-289.
  • [31] Z. Kulpa (1982/83) Impossible figures: illusion of spatial interpretation of pictures,in: S. Lewialdi, ed.: Digital Imagine Analysis. (Proc. 2nd Conference on Image Analysis and Processing, Fasano 1982). Pitman, London 1983, 140-143.
  • [32] Z. Kulpa (1981) Universal image processing and analysis systems—an overview of the European scene. In: M. Kunt, F. de Coulon, eds.: Signal Processing: Theories and Applications. North-Holland, Amsterdam, 7-14.
  • [33] Z. Kulpa (1981) PICASSO, PICASSO-SHOW and PAL—a development of a high-level software system for image processing. In: M.J.B. Duff, S. Levialdi, eds.: Languages and Architectures for Image Processing, Academic Press, London, 13-24.
  • [34] Z. Kulpa, M. Piotrowicz (1979/85) Shape factors of figures in discrete pictures. In: Selected papers of the Third National Conference on Biocybernetics and Biomedical Engineering (Warsaw 1979), Polish Scientific Publishers (PWN), Warsaw 1985, 283-296.
  • [35] Z. Kulpa, A. Gutowska (1979/80) Measurement of limb movement coordination in cats using universal computer image processing system CPO-2. In: A. Morecki, K. Fidelius, eds.: Biomechanics VILA (Proc. VIIth International Congress of Biomechanics, Warsaw 1979), Polish Scientific Publishers (PWN), Warsaw 1980, 471-477.
  • [36] Z. Kulpa, A. Bielik, M. Piotrowicz, M. Rychwalska (1978) Measurements of shape characteristics of moving cells using computer image processing system CPO-2. In: Proc. International Conference on Signals and Images in Medicine and Biology (BIOSIGMA'78), Paris, 286-292.
  • (37] Z. Kulpa, H.T. Nowicki (1976) Simple interactive picture processing system PICASSO-SHOW. In : Proc. 3rd International Joint Conference on Pattern Recognition, San Diego, CA. 218-223. |
  • [38] Z. Kulpa. J. Dernalowicz, M. Raczkowska, M. Piotrowicz (1976/83) Digital picture processing system CPO-2 and its biomedical applications. In: M. Nałęcz, ed.: Selected | Papers of the First National Conference on Biocybernetics and Biomedical Engineer- ing (Warsaw 1976). Polish Scientific Publishers (PWN), Warsaw 1983, 312-326. |
  • [39] Z. Kulpa (1974/75) On the equivalence of planar grammars and parallel picture processing algorithms. In: A. Blikle, ed.: Mathematical Foundations of O AT5. Science ‘74. Lecture Notes in Computer Science 28, Springer-Verlag, Berlin 307-312.
  • [40] Z. Kulpa (1974) Zarys konstrukcji języka analizy obrazów graficznych PAL (Outline of a construction of the Ianguage PAL for analysis of graphical images, in Polish]. In: Proc. 6th National Automatic Control Conference, Poznań, vol. I. 666-694.
  • [41] Z. Kulpa (1974) An outline deacription of the picture analysing language PAL In: Proc. 9th Yugoslav International Symposium on Information Processing (INFOMMATICA 74), Bled, Yugoslavia, 6 pp.
  • [42] Z. Kulpa (1972) A picture processing system PICTURE ALGOL 1204 In Proc 7th Yugoslav International Symposium on Information Processing (FCIP'72). Bled. Yugoslavia, 6 pp.
  • [43] R.S. Michalski, Z. Kulpa (1971/72) A system of programs for the synthesis of switching circuits using the method of disjoint stars. In: C.V. Freiman. ed.: Information Processing 71 (Proc. of the IFIP Congress, Ljubljana 1971), North-Holland, Amsterdam 1972, Vol. 1: 61-65.
  • Invited papers and lectures
  • [44] Z. Kulpa (2000) Podstawy diagramatyki [Foundations of Diagrammatics]. Lectured at: Bielsko College of Business and Computer Science, Bielsko-Biała. (Unpublished Jecture notes.)
  • [45] Z. Kulpa (1994) Diagrammatic representation and reasoning. Invited paper for: 3rd International Computer Graphics and Image Processing Conference (GKPO'94). Spala, Poland, 1994. (Published as [15].)
  • [46] Z. Kulpa (1986) Visual computing: a new quality in computer education and art. Lectured at: Eleventh National Summer School PROGRAMMING 86. Primorsko. Bulgaria. (Unpublished lecture notes: 7 pp.)
  • [47] Z. Kulpa (1983) Pictorial communication of information using digital images manipulation. Presented at: Third National Scientific-Technological Conference "Television Technology'83," Sofia, Bulgaria. Abstracts: 22; (Unpublished lecture notes: 8 pp.)
  • [48] Z. Kulpa (1983) Iconics: computer-aided visual communication. Lectured at: Eight National Summer School PROGRAMMING 68, Primorsko, Bulgaria. (Published in: M. Barneva, ed.: PROGRAMMIRANE'89, Sofia, Bulgaria: 145-157; and also. in Bulgarian, as [84].)
  • [49] Z. Kulpa (1980) Universal image processing and analysis systems—an overview of the European scene. Invited paper for: 1st European Signal Processing Conference (EUSIPCO-80), Lausanne. (Published as [32].)
  • (50] Z. Kulpa (1979) PICASSO, PICASSO-SHOW and PAL—a development of a high-level software system for image processing. Invited paper for: Workshop on High-level Languages for Image Processing, Windsor, England. (Published as [33].)
  • [51] Z. Kulpa, (2002) Self-consistency, imprecision, and impossible cases in diagrammatic representations [Extended Abstract]. In: E. Grabska, Z. Kulpa, eds.: First European Workshop on „Diagrammatics and Design”: Extended Abstracts. BCBCS. Bielsko Biała, Poland, 45-46. (Full version published as [2].)
  • [52] T.L. Le, Z. Kulpa, (2002) Diagrammatic spreadsheet [Extended Abstract]. In: E. Grabska. Z. Kulpa, eds.: First European Workshop on „Diagrammatics and Design” Extended Abstracts. BCBCS, Bielsko-Biala, Poland, 41-42. (Full version published as [3].)
  • [53] K. Rosłaniec, Z. Kulpa. (2000) System ekspertowy jakościowej analizy kratownic metodą propagacji przemieszczeń [An expert system for qualitative truss analysis using the method of displacement propagation, in Polish]. In: Z. Bubnicki, A. Grzech. eds.: Inżynieria wiedzy i systemy ekspertowe [Knowledge Engineering and Expert Systems]. Oficyna Wydawnicza Politechniki Wrocławskiej, Wrocław, vol. 2: 297-304.
  • [54] Z. Kulpa, A. Radomski. O. Gajl. M. Kleiber. I. Skalna (1997) Hybrydowy system ekspertowy jakościowo-ilościowej analizy układów mechanicznych [Hybrid expert system for qualitative and quantitative analysis of mechanical structures, in Polish). In: Z. Bubnicki, A. Grzech, eds.: Inżynieria wiedzy i systemy ekspertowe [Knowledge Engineering and Expert Systems]. Oficyna Wydawnicza Politechniki Wrocławskiej. Wrocław. vol. 2: 135-142.
  • [55] Z. Kulpa (1994) Diagrammatic representation and reasoning with applications in qualitative analysis. In: M. Akiyama, M. Kleiber. eds.: Proc. Japan-Central Europe Joint Workshop on Advanced Computing in Engineering, Pułtusk, Poland, 357-359.
  • [56] M. Kleiber, Z. Kulpa (1993) Computer-aided qualitative analysis: a key to effective simulation and analysis of physical systems? In: Proc. Japanese-Polish Joint Seminar on Advanced Computer Simulation, Tokyo, 123-130.
  • [57] Z. Kulpa (1985) Putting order in the impossible. In: Proc. 16th Meeting of the European Mathematical Psychology Group, Montpellier, France, 127-144.
  • [58] J. Dernałowicz; 7. Kulpa (1985) Komputerowe odwzorowanie schematycznych map (anatomicznych) w odniesieniu do obiektu obrazowego [Computer rendering of schematic (anatomical) maps in relation to the pictorial object, in Polish]. In: Proc. 1st Conference "Computers in Medicine” (MIPOL-85), Wrocław. Poland, 246-248.
  • [59] Z. Kulpa (1983) Ikonika: komunikacja wizualna wspomagana komputerowo i jej zastosowania biomedyczne [Iconics: Computer-aided visual communication and its biomedical applications, in Polish]. In: Proc. 6th National Conference „Biocybernetics and Biomedical Engineering,” Warsaw, 363-365.
  • [60] J. Dernałowicz, Z. Kulpa (1983) Odwzorowanie schematycznych map anatomicznych dla celów interakcji człowiek-maszyna [Rendering of schematic anatomica maps for man-machine interaction; in Polish]. In: Proc. 6th National Conference Biocybernetics and Biomedical Engineering,” Warsaw, 485-487.
  • [61] Z. Kulpa (1981) Image processing of biological shapes. In: Proc. 14th Furopcan Met. ing of Statislicians, Wroclaw, Poland, 50 -51.
  • [62] M. Piotrowicz, Z. Kulpa (1980) Determination of profiles of banded chrornosorneś us ing computer image processing system CPO-2, In: Proc. 1st European Signal Processing Conference (EUSIPCO-80), Lausanne, Short Communication and Poster, 83-84.
  • [63] Z. Kulpa, A. Gutowska (1980) Limb movement coordination in cats measured by universal computer image processing system CPO-2. In: Proc. 1st European Signal Processing Conference (EUSIPCO-80), Lausanne, Short Communication and Poster Digest, 85.
  • [64] Z. Kulpa (1980) Development of a high-level software systern for Image processing a case study. In: Proc. of The First International Workshop on Natural Communication nr. with Computers (NCC), Warsaw: 71-73.
  • [65] Z. Kulpa, M. Piotrowicz (1979) Określanie profili chromosomów przy pomocy komputerowego systemu analizy obrazów CPO-9 [Determination of chromosome profiles using computer image analysis system CPO-2, in Polish]. In: Proc. 4th National Conference „Biocybernetics and Biomedical Engineering,” Poznań. 337-338.
  • [66] Z. Kulpa, M. Piotrowicz (1979) Współczynniki kształtu figur na obrazach dyskretnych [Shape factors of figures in discrete pictures, in Polish]. In: Proc. 3rd National Conference on Biocybernetics and Biomedical Engineering, Warsaw, 245-246. (Extended version published as [34].)
  • [67] Z. Kulpa, J. Dernałowicz (1978/81) Digital image analysis system CPO-2 K-207. general hardware and software description. In: S. Levialdi. ed.: Pattern Recognition of Biomedical Objects (Proc. 4th Polish-Italian Biomedical Symposium. Porto Ischia 1978), Quaderni de "la Ricerca Scientifica,” vol. 108, CNR. Roma 1981. 195-201.
  • [68] A. Bielik, Z. Kulpa, M. Piotrowicz, M. Rychwalska (1978/81) Use of computer picture processing in quantitative morphology of biological cells. In: S. Levialdi, ed.: Pattern Recognition of Biomedical Objects, (Proc. 4th Polish-Italian Biomedical Symposium. Porto Ischia 1978), Quaderni de "la Ricerca Scientifica,” vol. 108, CNR. Roma 1981. 17-90.
  • [69] Z. Kulpa, A. Bielik, M. Piotrowicz, M. Rychwalska (1978) Ilościowe pomiary zmian kształtu komórek w ruchu przy użyciu systemu cyfrowego przetwarzania obrazów CPO-2 [Quantitative measurements of shape changes of moving cells using computer image processing system CPO-2, in Polish]. In: Proc. 2nd National Conference „Biocybernetics and Biomedical Engineering,” Gliwice, Poland. 161-162.
  • [70] Z. Kulpa, M. Sobolewski (1977) Obrabotka i raspoznavanye izobrazhenyi s po- moshchyu universalnoy sistemy CPO-2/K-202 [Processing and recognition of images using the universal system CPO-2/K-202, in Russian]. In: Proc. BIONIKA 28. Leningrad, USSR, vol. I: 182-192.
  • [71] Z. Kulpa, J. Dernałowicz (1977) Digital picture procesniny system CPO-2 and its biomedical applications. ln: Proc. BIONIKA 11, Dorn Techniky SVTS. Bratislava, vol. III.
  • [72] Z. Kulpa, H.T. Nowicki (1977) Simple interactive picture processing system "PICASSO-SHOW." In: *Experiences of Interactive System Use”: Proc. International Seminar, Szklarska Poręba; Prace Naukowe ICT PWr, Wrocław Technical University, Wrocław, 51/16: 101-115.
  • [73] Z. Kulpa. J. Dernałowicz (1976) System cyfrowej analizy obrazów CPO.2 i jego zastosowania biomedyczne [Picture processing system CPO-2 and its biomedical applications, in Polish]. In: Proc. 1st National Conference „Biocybernetics and Biomedical Engineering,” Warsaw. 182-183. (An extended version published as [38].)
  • [74] Z. Kulpa (1975/76) Sistemy analiza graficheskikh izobrazhenyi CPO-1 ; CPO-2 i ikh programnoye obespechenye [Systems for analysis of graphical images CPO-1 and CPO-2 and their software, in Russian]. In: J. Karczewski., ed.: Proc. Extended Meeting of the Working Group 2 KNWWT on Methods of Information Recognition, Classification and Search. Jadwisin, Poland 1975. Instytut Organizacji i Kierowania. Warszawa 1976. 369-390.
  • [75] Z. Kulpa, M. Piotrowicz (1975) Practical methods for measuring area and perimeter of discrete real pictures. In: Proc. 6th von Neumann Colloquium on Computing and Cybernetic Methods in Medicine and Biology. Szeged, Hungary. 59-71.
  • [76] Z. Kulpa (1973/74) Opis struktury obrazów graficznych (Structural description of graphical images, in Polish). In: Proc. 1st National Symposium „System-Modelling- Control,” Polish Cybernetical Society, Łódź. 151-161.
  • Article collections, special issues
  • [77] E. Grabska, Z. Kulpa, eds. (2003) Diagrammatics 6 Design (Selected Papers from the First European Workshop on "*Diagrammatics and Design”). A Special Issue of Machine GRAPHICS 6 VISION, 12(1).
  • [78] Z. Kulpa, ed. (1997) Diagrammatic representation and reasoning. A Special Issue of Machine GRAPHICS 6 VISION, 6(1).
  • [79] L. Bolc, Z. Kulpa, eds. (1981) Digital Image Processing Systems. Lecture Notes in Computer Science 109, Springer- Verlag; Berlin.
  • [80] M. Nałęcz, S. Topiński, Z. Kulpa et al., eds. (1977) System cyfrowej analizy obrazów CPO-2 [Digital Image Analysis System CPO-2, in Polish]. Reports of the Institute of Biocybernetics and Biomedical Engineering of the Polish Academy of Sciences; vol. 1, Warsaw.
  • [81] M. Nieniewski, L. Chmielewski, Z. Kulpa (2002) Przetwarzanie obrazów. wizja komputerowa oraz graficzna reprezentacja wiedzy [Picture processing, computer vision and graphical knowledge representation, in Polish]. In: M. Kleiber, ed.: Nauki techniczne u progu XXI wieku — Wizja rozwoju wybranych dyscyplin z perspektywy IPPT PAN [Technical Sciences at the Threshold of the XXI Century - The Vision of Development of Selected Disciplines from the IFTR PAS Perspective]. Institute of Fundamental Technological Research, Warsaw, 211-228.
  • [82] Z. Kulpa, M. Kleiber (1998) Jakościowa analiza układów mechanicznych w zastosowa- | niu do analizy kratownic metodą propagacji obciążeń [Qualitative analysis of mechan- icał systems applied to truss analysis with the method of load propagation, in Polish]. In: A. Grzech, ed.: Problemy Informatyki i Automatyki [Problems of Computer Ści- ence and Automatic Control]. Ossolineum, Wrocław, 177-190. | | /
  • [83] Z. Kulpa (1987) Impossible figures—figury niemożliwe (bilingual]. In: D. Folga-Januszewska. ed.: Artists on Space— Artyści o przestrzeni [bilingual], National Museum in Warsaw, Warsaw, 41-63.
  • [84] Z. Kulpa (1984) Ikonika: obshchuvane chrez obrazi s pomoshchta na komputar [lconics: computer-aided pictorial communication, in Bulgarian]. Fiziko-matematichesko spisanie, (Sofia, Bulgaria), 1: 59-66.
  • [85] Z. Kulpa (1983) Ikonika: komunikacja wizualna wspomagana komputerowo [lconics: Computer-aided visual communication, in Polish]. In: M. Nałęcz, ed.: Wybrane problemy inżynierii biomedycznej, IBIB PAN. Warsaw, 544-593.
  • [86] Z. Kulpa (1982) Some remarks on „A note on the computation of the enclosed area for contour-coded binary objects” by P. Zamperoni. Signal Processing, 4(1): 85-80.
  • [87] Z. Kulpa (1981) Universal digital image processing systems in Europe—a comparative survey. In: [79], 1-20.
  • [88] Z. Kulpa, J. Dernałowicz, H.T. Nowicki, A. Bielik (1981) CPO-2/K-202: a universal digital image analysis system. In: [79], 169-199.
  • [89] Z. Kulpa, B. Kruse (1979) Methods of effective implementation of circular propagation in discrete images. INTERNSKRIFT LiTH-ISY-1-0274, Institute of Electrical Engineering of Linköping University, Linköping, 1-43. (An extended version published as [17].)
  • [90] Z. Kulpa (1979) A note on the paper by B.K.P. Horn: "Circle generators for display devices.” Computer Graphics and Image Processing, 9: 102-103.
  • [91] Z. Kulpa (1978) Errors in objects positioning with 'centre of gravity’ method. The Industrial Robot, 5(2): 94-99.
  • [92] Z. Kulpa (1977) Systemy i zasady automatycznej analizy obrazów graficznych (Systems and principles of automatic analysis of graphical image, in Polish] In. [85]. 5-32.
  • [93] Z. Kulpa (1977) Struktura zapisu obrazów w systemie CPO-2/K-202 [Storage structure of pictures in the CPO-2/K-202 system, in Polish]. In: [80]. 57-67.
  • [94] Z. Kulpa, H.T. Nowicki, M. Raczkowska, M. Piotrowicz, B. Wolosewicz. M. Do- ros, D. Gajkowicz-Dędys (1977) System podprogramów przetwarzania obrazów graficznych PICASSO [A system of PICASSO subroutines for processing of graphical pictures, in Polish]. In: [80], 69-111.
  • [95] H.T. Nowicki. Z. Kulpa (1977) Konwersacyjny system programowania zadań analizy obrazów PICASSO-SHOW 1 [An interactive programming system PICASSO. SHOW 1 for image analysis. in Polish]. In: (80]. 113-148.
  • [96] Z. Kulpa (1975) Planar grammars, parallel picture processing algorithms and their equivalence. In: Planar Grammars (Gramatyki planarne ). Reports of the Institute of Organization and Management of the Polish Academy of Sciences and Ministry of Higher Education and Technology, series B, vol. 25. Warsaw. 25-38.
  • [97] Z. Kulpa (1974) Yazyki pererabotki graficheskoy informatsyi [Languages for processing of graphical information, in Russian]. In: TANULMANYOK. MTA-STAKI Budapest. 21: 41-51.
  • [98] Z. Kulpa, H. Szydło (1972) PICTURE ALGOL 1204 Ab: język przetwarzania informacji graficznej [PICTURE ALGOL 1204 Ab: a language for graphical information processing, in Polish]. In: [ICS Report 1972], 55-92.
  • [99] Z. Kulpa (1972) Algorytmy pocieniania linii [Thinning algorithms. in Polish]. In: [ICS Report 1972]. 93—147.
  • Popular articles
  • [100] Z. Kulpa ( 1985) Komputila bildomanipulado [Computer image processing. in Esperanto]. Internacia Komputado, 3(7): 8-12.
  • [101] Z. Kulpa (1980) Komputerowa analiza obrazów wizualnych [Computer analysis of visual images, in Polish]. Delta, 1980(8).
  • [102] Z. Kulpa (1978) Automatyczne rozpoznawanie obrazów (Automatic pattern recognition, in Polish]. Horyzonty Techniki, 1978(6).
  • 103] Z. Kulpa (1976) Obiekty nieistniejące [Nonexisting objects, in Polish]. Problemy. 1976(9): 20-22.
  • [104] Z. Kulpa (1974) Era robotów [The era of robots, in Polish]. Problemy, 1974(12): 5-10.
  • [105] Z. Kulpa (1999) Diagrammatic representation of interval space;, Part I: Basics; Part II: Arithmetic. Internal Report, Institute of Fundamental Technological Research of the Polish Academy of Sciences, Warsaw.
  • [106] Z. Kulpa (1998) Qualitative model of load propagatim in truss structures. Internal „Report No. B-1/1998, Institute of Fundamental Technologicai Research A the Polish Academy of Sciences, Warsaw.
  • [107] Z. Kulpa (1995) Two-dimensional representation of interval relatime: Prelinrina! ies. Internal Report, Institute of Fundamental Technological Rezarch of the Polish, Academy of Sciences, Warsaw.
  • [108] Z. Kulpa (1992) Visual knowledge representation. Internal Report (unfinished) George Mason University, Fairfax. VA.
  • [109] Z. Kulpa (1980) Konstrukcja języka programowania algorytmów cyfrowego przetwarzania złożonych obrazów wizualnych [The Design of a Programming Language for Digital Processing of Complez Visual Images, in Polish]. Ph.D. Thesis. Institute cf Computer Science of Polish Academy of Sciences. Warsaw.
  • [110] Z. Kulpa (1974) Oprogramowanie systemów analizy obrazów graficznych CPO-1 i CPO-2 [Software of the CPO-1 and CPO-2 systems for analysis of graphical images, in Polish]. Presented at: Conference on "Computer Systems for Processing of Experimental Data,” Kazimierz Dolny, Poland.
  • [111] Z. Kulpa (1973) Język analizy obrazów graficznych PAL (The language PAL for analysis of graphical images, in Polish). Presented at: Conference on "Methods of Direct Input and Output of Teztual and Pictorial Information in Computer Systems,” Jabłonna. Poland.
  • Proceedings, article collections
  • [AI Handbook 1981] A. Barr, E. A. Feigenbaum, eds.: The Handbook of Artificial Intelligence. HeurisTek Press. Stanford, CA. and W. Kaufmann. Los Altos. CA.
  • [DIAGRAMS 1992] Reasoning with Diagrammatic Representations (1992 AAAI Spring Symposium). AAAI Press. Menlo Park. CA.
  • [DIAGRAMS 1995] J. Glasgow. N.H. Narayanan. B. Chandrasekaran. eds: Diagrammatic Reasoning: Computational and Cognitive Perspectives. AAAI Prees. Menlo Park. CA, and The MIT Press, Cambridge. MA.
  • [DIAGRAMS 1996] G. Allwein, J. Barwise, eds.: Logical Reasoning with Diagrams. Oxford University Press. Oxford.
  • [DIAGRAMS 1997] M. Anderson, ed.: Reasoning with Diagrammatic Representations II (1997 AAAI Fall Symposium Working Notes). AAAI Press, Menlo Park. CA.
  • [DIAGRAMS 2000a] M. Anderson. P. Cheng, V. Haarslev, eds.: Theory and Applications of Diagrams (Proc. First International Conference Diagrams 2000. Edinburgh. Scotland, UK, September 1-3, 2000). Lecture Notes in Artificial Intelligence, vol. 1889. Springer-Verlag. Berlin.
  • [DIAGRAMS 2000b] P. Olivier, M. Anderson. B. Meyer, eds.: Diagrammatic Representatton and Reasoning. Springer-Verlag. Berlin.
  • [DIAGRAMS 2001] A. Blackwell, ed.: Thinking with Diagrams. Kluwer Academic Publ.. Dordrecht. Also as: Special Issue of Artificial Intelligence Review, 5(1/2).
  • [DIAGRAMS 2002] M. Hegarty, B. Meyer, N. Hari Narayanan, eds.: Diagrammatic Representation and Inference (Proc. Second International Conference Diagrams 2002, Callaway Gardens. GA, USA. April 18-22, 2002). Lecture Notes in Artificial Intelligence, vol. 2317, Springer-Verlag. Berlin.
  • [EXPERTSYS 2001] C.T. Leondes, ed.: Expert Systems. Academic Press, New York (6 volumes).
  • [GREC 1999] A.K. Chhabra, D. Dori, eds.: Graphics Recognition. Recent Advances (Proc. Third International Workshop GREC'99, Jaipur,; India, September 26-27, 1999). Lecture Notes in Computer Science, vol. 1941, Springer-Verlag, Berlin.
  • (HYPERGRAPHICS 1978] D.W. Brisnon, ed.: Hypergraphica: Vinualizing Complex Relationships in Art, Science, and Technology. Weatview Press, Boulder, CO.
  • [ICS Report 1972] J.L. Kulikowski et al., eds.: Metody automatycznego przetwarzania informacji o złożonej strukturze ze szczególnym uwzględnieniem informacji obrazów: [Methods of Automatic Processing of Complex Information, in Particular Fictorial [Information, in Polish]. Reports of the Institute of Applied Cybernetics of the Polish Academy of Sciences, vol. 6, Warsaw.
  • [INTERVALS 1975] K.L.E. Nickel, ed.: Interval Mathematica 1915. Lecture Notes in Computer Science, vol. 29, Springer Verlag. Berlin.
  • [INTERVALS 1980] K.L.E. Nickel, ed.: Interval Mathematics 1980. Acadernic Press. New York.
  • [INTERVALS 1997] J. Wolff von Gudenberg, ed.: Proc. International Conference on Interval Methods and Computer Aided Proofs in Science and Engineering INTERVAL’96. Würzburg 1996. Special Issue of Reliable Computing. 3(3).
  • [INTERVALS 2001] W. Krämer. J. Wolff von Gudenberg. eds.: Scientific Computing. Validated Numerics, Interval Methods (Proc. SCAN/INTERVAL 2000 International Conference, Karlsruhe, Germany). Kluwer Academic/Plenum Publishers.
  • [KNOWLREPR 1985] R.J. Brachman. H.J. Levesque, eds.: Readings in Knowledge Representation. Morgan Kaufmann, San Mateo. CA.
  • [STEREO 2001] L. Chmielewski, ed.: Stereogrammetry and Related Topics. Special Issue of Machine GRAPHICS & VISION, 10(3).
  • [VISLANG 1990a] S.-K. Chang, ed.: Principles of Visual Programming Systems. Prentice Hall. Englewood Cliffs, NJ.
  • [VISLANG 1990b] S.-K. Chang, ed.: Visual Languages and Visual Programming. Plenum Press, New York.
  • [VISLANG 1998] K. Marriott, B. Meyer, eds.: Visual Language Theory. Springer-Verlag. Berlin.
  • [VISMATH 1997] H-C. Hege, K. Polthier, eds.: Visualization and mathematics: Experiments, Simulations and Environments. Springer-Verlag. Berlin.
  • [VISPROG 1990] E.P. Glinert, ed.: Visual Programming Environments; Part I: Paradigms and Systems, Part II: Applications and Issues. IEEE Computer Society Press.
  • Individual Papers and books
  • [Alefeld & Herzberger 1983] G. Alefeld, J. Herzhergey, Introduction to Interval Computations. Academic Press, New York.
  • [Allen 1983] J.F. Allen: Maintaining knowledge about temporal relations Communications of the ACM, 26(11): 832-843.
  • [Amarel 1968] S. Amarel: On representations of problems of reasoning about actions. In: D. Michie, ed.: Machine Intelligence 3. Edinburgh University Press. Edinburgh.
  • [Anderson & Cartney 1997] M. Anderson, R. McCartney: Learning from diagramma. In: [78], 57-76.
  • [Arnheim 1969] R. Arnheim: Visual Thinking. Univers. University of California Press, Berkeley.
  • [Banchoff & Strauss 1978] T.F. Banchoff, C.M. Strauss: Real-time computer graphics analysis of figures in four-space. In: [HYPERGRAPHICS 1978]. 159-168.
  • [Barker-Plummer & Bailin 1997] D. Barker-Plummer, S.C. Bailin: The role of diagrams in mathematical proofs. In: [78], 25-56.
  • [Barwise & Etchemendy 1996a] J. Barwise. J. Etchemendy: Visual information and valid reasoning. In: [DIAGRAMS 1996], 3-25. (Older, but essentially identical version appeared in: W. Zimmerman, S. Cunningham, eds.: Visualization in Teaching and Learning Mathematics. Mathematical Association of America, Washington, D.C. 1991. 9-24.
  • [Barwise & Etchemendy 1996b] J. Barwise, J. Etchemendy: Heterogeneous logic. In: (DIAGRAMS 1996]. 179-200. (Appeared also in: [DIAGRAMS 1995], 209-232.)
  • [Barwise & Hammer 1996] J. Barwise, E. Hammer: Diagrams and the concept of logical system. In: [DIAGRAMS 1996], 49-78.
  • [Berge 1973] C. Berge: Graphs and Hypergraphs, North Holland, Amsterdam.
  • [Bertin 1967/83] J. Bertin: Semiologie graphique: les diagrammes, les reseaux, les cartes. Mouton/Gauthiers-Villars, The Hague/Paris 1967. [English translation: J. Bertin: Semiology of Graphics: Diagrams, Networks, Maps. University of Wisconsin Press, 1983.]
  • [Bertin 1981] J. Bertin: Graphics and Graphic Information Processing. Walter de Gruyter. Berlin.
  • [Bettini 1994] C. Bettini: A formalization of interval-based temporal subsumption in first order logic. In: Foundations of Knowledge Representation and Reasoning. Lecture Notes in Artificial Intelligence, vol. 810, Springer-Verlag, Berlin, 53-73.
  • [Borkowski et al. 1999] A. Borkowski, E. Grabska, G. Hliniak: Function-structure computer-aided design model. Machine GRAPHICS & VISION. 8(3): 367-381.
  • [Borning 1981] A. Borning: The programming language aspects of ThingLab, a constraint-oriented simulation laboratory. ACM Trans. on Programming Languages and Systems, 3: 353-387.
  • [Bowman 1968] W.J. Bowman: Graphic Communication. J. Wiley, New York.
  • [Brachman 1979] R.J. Brachman: On the epistemological status of semantic networks. In: N.V. Finder, ed.: Associative Networks: Representation and Use of Knowledge by Computer. Academic Press, New York, 3-60.
  • [Brachman 1990] R.J. Brachman: The future of knowledge representation. Extended abstract. In: Proc. 8th National Conference on Artificial Intelligence (AAAI-90). AAAI Press/The MIT Press, Menlo Park, CA/Cambridge, MA, 1082-1092.
  • [Bresenham 1965] J.E. Bresenham: Algorithm for computer control of a digital plotter. IBM Systems Journal, 4(1): 25-30.
  • [Brice & Fennema 1970] C.R. Brice, C.L. Fennema: Scene analysis using regions. Artifictal Intelligence, 1: 205-226.
  • [Buckley & Qu 1990] J.J. Buckley, Y. Qu: On using α-cuts to evaluate fuzzy equations. Fuzzy Sets and Systems, 38: 309-312.
  • [Byrne 1847] O. Byrne: The First Siz Books of the Elements of Euclid in Which Coloured Diagrams and Symbols Are Used Instead of Letters for the Greater Ease of Learners. William Pickering, London.
  • [Chen 1976] P. P.-S. Chen: The entity-relationship model—toward a unified view of data. ACM Transactions on Database Systems, 1(1): 9-36. |
  • [Clowes 1971] M.B. Clowes: On seeing things. Artificial Intelligence, 2: 79-116.
  • [Cowan 1977] T.M. Cowan: Organizing the properties of impossible figures. Perception, 6(1): 41-56.
  • [Coxeter & Moser 1957/80] H.S.M. Coxeter, W.0.J. Moser: Generators and Relations for Discrete Groups. Springer-Verlag, Berlin [4th edition: 1980].
  • [Cyganek 2001] B. Cyganek: Novel feature-based stereo matching method that employs tensor representation of local pixels neighbourhoods in images. In: [STEREO 2001], 289-316. |
  • [da Fontoura Costa & Cesar 2001] L. da Fontoura Costa, R.M. Cesar, Jr.: Shape Analysis and Classification: Theory and Practice. CRC Press, Boca Raton.
  • [Danielsson 1980] P.-E. Danielsson: Euclidean distance mapping. Computer Graphics and Image Processing, 14: 227-248.
  • [Davis 1990] E. Davis: Representations of Commonsense Knowledge. Morgan Kaufmann, San Mateo, CA.
  • [Dąbkowska & Mokrzycki 1998] M. Dąbkowska, W.S. Mokrzycki: A face-dependent view model of convex polyhedra. Machine GRAPHICS & VISION, 7(1/2): 325-334.
  • [Dernałowicz 1972] J. Dernałowicz: Cyfrowy przetwornik obrazu de Wprowadzania danych do Maszyny cyfrowej [Digital image converter for supplying graphical data to computer, in Polish], In: [ICS Report 1972), 181-189.
  • [Dernałowicz et al 1997] J. Dernałowicz, M. Chmielewski, i W. Jarosiński, A. Dernałowicz: System cyfrowego przetwarzania obrazów image processing CPO-2/K-202 [ A system for digital image processing CPO-2/K-202, in Polish]. In: [80] 33-55
  • [d'Ocagne 1899] M. d'Ocagne: Traité de nomographie: Théorie des abaques, applications pratiques. Gauthier-Villars, Paris.
  • [Dondis 1975] D.A. Dondis: A Primer of Visual Literacy. The Mit Press, Cambridge. MA.
  • [Doros 1979] M. Doros: Algorithms for generation of discrete circles, rings, and disks. Computer Graphics and Image Processing, 10: 366-371.
  • [Drakengren & Jonsson 1998] T. Drakengren, P. Jonsson: A complete classification of tractability in Allen's algebra relative to subsets of basic relations. Artificial Intelligence. 106: 205-219.
  • [Ellis et al. 1979] T.J. Ellis, D. Proffitt, D. Rosen, W. Rutkowski: Measurement of the lengths of digitized curved lines. Computer Graphics and Image Processing. 10: 333-347.
  • [Engelhardt 2002] Y. Engelhardt: The Language of Graphics: A Framework for the Analysis of Syntax and Meaning in Maps, Charts and Diagrams. Ph.D. Thesis, University of Amsterdam, Amsterdam.
  • [Ernst 1986] B. Ernst: Het Begoochelde Oog: Onmogelijke en Meerzinnige Figuren [The Confounded Eye: Impossible and Ambiguous Figures, in Dutch]. Meulenhof/ Landshof. Amsterdam. (A shortened English edition: B. Ernst: Optical Illusions, Benedikt Tashen Verlag Gmbh, Koln 1992.)
  • [Essex et al. 2000] C. Essex, M. Davison, C. Schulzky: Numerical monsters. SIGSAM Bulletin, 134: 16-32.
  • [Feder 1971] J. Feder: Plex languages. Information Science, 3: 225-241.
  • [Forbus et al. 1991] K.D. Forbus, P. Nielsen, B. Faltings: Qualitative spatial reasoning: the CLOCK project. Artificial Intelligence, 51(1-3): 417-471.
  • [Freeman 1970] H. Freeman: Boundary encoding and processing. In: B.S. Lipkin, A. Rosenfeld, eds.: Picture Processing and Psychopictorics. Academic Press, New York, 241-263.
  • [Freeman & Glass 1969] H. Freeman, J.M. Glass: On the quantization of line-drawing data. IEEE Transactions on System Sciences and Cybernetics, SSC-5: 70-79.
  • (Freksa 1992] C. Freksa: Temporal reasoning based on semi-intervals. Artificial Intelligence, 54(1-2): 199-227.
  • [Frommer 2001] A. Frommer: Proving conjectures by une of interval arithmetic. In: Kulisch, R. Lohner, A. Faciun, eds: Perspective on Enclosure Methods, Springer-Verlag, Vienna, 1-13.
  • [Fu 1982] K.S. Fu: Syntactic Pattern Recognition and Application, Prentice Hall, Englewood CIiffs.
  • [Funt 1980] B.V, Funt: Problem-solving with diagraminatic representations, Artificial Intelligence, 13(3): 201-230.
  • [Furnas 1990] G.W. Furnas: Formal models for imaginal deduction, In: Proc. Twelfth
  • Annual Conference of the Cognitive Science Society. Lawrence Erlbaum, Hillsdale, NJ,
  • 662-669.
  • [Furnas et al. 2000] G. Furnas, Y. Qu, 8. Shrivastava, G. Peters: The use of intermediate graphical constructions in problem solving with dynamic, pixel-level diagrams. ln: [DIAGRAMS 2000a), 314-329,
  • [Gardeñes et al. 1980) E. Gardeñes, A. Trepat, J.M. Janer: SIGLA-PL/1: Development and applications. In: [INTERVALS 1980], 301-315.
  • [Gardeñes et al. 1981] E. Gardeñes, A. Trepat, J.M. Janer: Approaches to simulation and to the linear problem in the SIGLA system. Freiburger Intervall-Berichte, 81/8: 1-28.
  • [Gardeñes et al. 2001] E. Gardeñes, M.A. Sainz, L. Jorba, R. Calm, R. Estell, H. Mielgo, A. Trepat: Modal intervals. Reliable Computing, 7: 77-111.
  • [Gardeñes & Trepat 1979] E. Gardeñes, A. Trepat: The interval computing system SIGLA-PL/1(0). Freiburger Intervall-Berichte, 19/8.
  • [Gardeñes & Trepat 1980] E. Gardeñes, A. Trepat: Fundamentals of SIGLA, an interval computing system over the completed set of intervals. Computing, 24: 101-179.
  • [Gardin & Meltzer 1989] F. Gardin, B. Meltzer: Analogical representations of naive physics. Artificial Intelligence, 38: 139-159. (Reprinted in: |DIAGRAMS 1995], 670-689.)
  • [Gardner 1958] M. Gardner: Logic Machines and Diagrams. University of Chicago Press, Chicago. [2nd edition 1982.]
  • [Gelernter 1959] H. Gelernter: Realization of a geometry-theorem proving machine. ln:
  • Proc. International Conf. on Information Processing (ICIP). UNESCO House, Paris, 273-282. (Reprinted in: EA. Feigenbauum, J. Feldman, eds. (1963) Computers and Thought. McGraw-Hill, New York, 134-152.)
  • [Gelernter et al. 1960] HI. Gelernter, J.R. Hansen, D.W. Loveland: Empirical explorations of the geometry-theorem proving machine. In: Proc. of the Western Joint Computer Conf. (WJCC'60), Vol. 17: 143-147. (Reprinted in: EA. Feigenbaum, J. Feldman, eds.: Computers and Thought. McGraw-Hill, New York 1963, 153-163).
  • [Genesereth & Nilsson 1987] M. Genesereth, N. Nilsson: Logical Foundations of Artificial Intelligence. Morgan Kaufmann, San Mateo, CA.
  • [Giere 1999] R.N. Giere: Science without Lawa, The University of Chicago Prema, Chicago, IL.
  • [Gleicher & Witkin 1994] M. Gleicher, A. Witkin: Drawing with constraints. fhe Visual Computer, 11: 39-51.
  • [Goodstein & Goodstein 1996] D.L. Goodstein, J.R. Goodstein: Frynman's Lost Lecture: The Motion of Planets Around the Sun. W.W. Norton 6 Co. (Polish edition: Zaginiony wykład Feynmana: Ruch planet wokół Słońca. Prószyński i S-ka, Warszawa 1937.)
  • [Grabska 1993a] E. Grabska: Theoretical concepts of graphical modeling. Part one: realization of CP-graphs. Machine GRAPHICS & VISION, 2(1): 3-88.
  • [Grabska 1993b] E. Grabska: Theoretical concepts of graphical modeling. Part two: CP-graphs grammars and languages. Machine GRAPHICS & VISION, 2(2): 149-178.
  • (Grabska 2001] E. Grabska: Emergent shapes in graphical design. In: D.M. Dubois, ed.: Computing Anticipatory Systems (CASYS 2000: Fourth International Conference). American Institute of Physics, 621-627.
  • [Granlund & Knutsson 1996] G.H. Granlund, H. Knutsson: Signal Processing for Computer Vision. Kluwer Academic Publ., Dordrecht.
  • [Gregory 1970] R.L. Gregory: The Intelligent Eye. Weidenfeld and Nicolson, London.
  • [Gurr 1999] C.A. Gurr: Effective diagrammatic communication: Syntactic, semantic and pragmatic issues. Journal of Visual Languages and Computing, 10: 317-342.
  • [Hadamard 1945] J. Hadamard: The Psychology of Invention in the Mathematical Field. Princeton University Press, Princeton, NJ. (Modern reprint as The Mathematician's Mind, Princeton University Press, Princeton, NJ 1996.)
  • [Hammer 1996] E. Hammer: Logic and Visual Information. Cambridge University Press, Cambridge.
  • [Hankins 1999] T.L. Hankins: Blood, dirt, and nomograms: A particular history of graphs. Isis, 90: 50-80.
  • [Hansen 1992] E. Hansen: Global Optimization Using Interval Analysis. Marcel Dekker, New York.
  • [Harel 1988] D. Harel: On visual formalisms. Communications of the ACM, 31(5): 514-530. (Reprinted in [VISPROG 1990], vol. 1: 171-187.)
  • [Hernandez 1994] D. Hernandez: Qualitative representatton of Spatial Knowledge. Lecture Notes in Artificial Intelligence, vol. 804. Springer-Verlag, Berlin.
  • [Hickey et al. 2001] T.J. Hickey, Q. Ju, M.H. van Emden: Interval arithmetic: from principles to implementation. Journal of the ACM, 48: 1038-1068.
  • [Hoelscher et al. 1952] R.P. Hoelscher, J.N. Arnold, 5.H. Pierce: Graphic Atds in Engineering Computation. New York.
  • [Huffman 1971] D.A. Huffman: Impossible objects as nonsense sentences. In: B. Meltzer. D. Michie, eds.: Machine Intelligence 6, Edinburgh University Press, Edinburgh, 295-323.
  • [Ioerger 1992] T.R. loerger: Diagrammatic semantics for spatial prepositions. In: [DIAGRAMS 1992], 191-194.
  • [Iwasaki et al. 1995] Y. Iwasaki, S. Tessler, K.H. Law: Qualitative structuraj analysis through mixed diagrammatic and symbolic reasoning. In: [DIAGRAMS 1995]. 712-729.
  • [Jamnik et al. 1999] M. Jamnik, A. Bundy, I. Green: On automating diagrammatic proofs of arithmetic arguments. Journal of Logic, Language and Information. 8: 297-321.
  • [Jaulin et al. 2001] L. Jaulin, M. Kieffer, O. Didrit, E. Walter: Applied Interval Analysis. Springer Verlag. London.
  • [Kaucher 1973] E. Kaucher: Über metrische und algebraische Eigenschaften etniger beim numertschen Rechnen auftretender Raüme. Ph.D. Thesis, Universitit Karlsruhe, Karlsruhe.
  • [Kaucher 1977] E. Kaucher: Über eine Überlaufarithmetik auf Rechenanlagen und deren Anwendungsmöglichkeiten. ZAMM, 57: T286-T287.
  • [Kaucher 1980] E. Kaucher: Interval analysis in the extended interval space IR. Computing, Suppl. 2: 33-49.
  • [Kaucher 1999] E. Kaucher: Personal communication.
  • [Koedinger 1992] K.R. Koedinger: Emergent properties and structural constraints: Advantages of diagrammatic representations in reasoning and learning. In: [DIAGRAMS 1992]. 151-156.
  • [Kordek et al. 1980] J. Kordek, R. Nipl, K. Sztaba, R. Tadeusiewicz: CESARO—the digital experimental system of analysis and recognition of images. In: Proc. 17th International Symposium on the Application of Computers and Mathematics in the Mineral Industries, Moscow: 393-398.
  • [Kosslyn 1980] S.M. Kosslyn: Image and Mind. Harvard University Press, Cambridge.
  • [Kosslyn 1994] S.M. Kosslyn: Image and Bratn. The MIT Press, Cambridge, MA.
  • [Kreinovich et al. 1997] V. Kreinovich, A. Lakeyev, J. Rohn. P. Kahl: Computational Complexity and Feasibikty of Data Processing and Interval Computations. Kluwer Academic Publ.. Dordrecht.
  • [Kruse 1973] B. Kruse: A parallel picture processing machine. IEEE Transactions on Computers, C-22(12).
  • [Larkin & Simon 1987] J.H. Larkin. H.A, Simon: Why a diagram is (sometimes) worth ten thousand words. Cognitive Science, 11: 65-99,
  • [Laveuve 1975] S.E. Laveuve: Definition einer Kahan-Arithmetik und ibre Implementierung. In: [INTERVALS 1975], 236-245.
  • [Ledley et al. 1966] R.S. Ledley, J.D. Jacobsen, M. Belson: BUGSYS: a programming system for picture processing-not for debugging. Communications of the ACM, 9(2).
  • [Lemon & Pratt 1997] O. Lemon, I. Pratt: Spatial logic and the complexity of diagrammatic reasoning. In: [78], 77-88.
  • [Levesque 1986] H.J. Levesque: Making believers out of computers. Artificial Intelligence, 30: 81-108.
  • [Levialdi 1981] S. Levialdi: Finding the edge. In: J.C. Simon, R.M. Haralick, eds.: Digital Image Processing. Reidel, Dordrecht. 105-148.
  • [Leyton 2001] M. Leyton: A Generative Theory of Shape. Lecture Notes in Computer Science, vol. 2145, Springer- Verlag. Berlin.
  • [Luengo 1995] I. Luengo: Diagrams in Geometry. Ph.D. Thesis, Indiana University, Bloomington, IN.
  • [Luengo 1996] I. Luengo: A diagrammatic subsystem oł Hilbert s geometry. in: [DIAGRAMS 1996), 149-176.
  • [Mackinlay & Genesereth 1985] J. Mackinlay, M.R. Genesereth: Expressiveness and language choice. Data & Knowledge Engineering, 1: 17-29.
  • [Mackworth 1976] A.K. Mackworth: Model-driven interpretation in intelligent vision systems. Perception, 5: 349-310.
  • [Markov 1995] S. Markov: On directed interval arithmetic and its applications. Journal of Universal Computer Science, 1: 510-522.
  • [Markov 2001a] S. Markov: On the algebraic properties of intervals and some applications. Reliable Computing, 7(2): 113-127.
  • [Markov 2001b] S. Markov: Computation of algebraic solutions of interval systems via systems of coordinates. In: (INTERVALS 2001), 103-114.
  • [Markov & Okumura 1999] S. Markov; K. Okumura: The contribution of T. Sunaga to interval analysis and reliable computing. In: T. Csendes, ed.: Developments in Reliable Computing, Kluwer Academic Publ., Dordrecht, 167-188.
  • [Marks & Reiter 1990] J. Marks, E. Reiter: Avoiding unwanted conversational implicatures in text and graphics. [n: Proc. 8th National Conference on Artificial Intelligence (AAAT'90). AAAI Press / The MIT Press, Menlo Park, CA, 450-456.
  • [McCormick 1963] B.H. McCormick: The Illinois pattern recognition computer—ILLIAC III. IEEE Transactions on Electronic Computers, EC-12: 791-813.
  • [Milgram & Rosenfeld 1972] D.L. Milgram. A. Rosenfeld: Array automata and array grammars. In: C.V. Freiman, ed.: Information Processing 11 (Proc. IFIP Congres; 1971). North Holland, Amsterdam.
  • [Miller 2000] N. Miller: Case analysis in Euclidean geometry: An overview. In: [DIAGRAMS 2000a], 490-493.
  • [Miller 2001] N. Miller: A Diagrammatic Formal System for Euclidean Geometry. Ph.D. Thesis, Cornell University, Ithaca, NY.
  • [Minsky & Papert 1969] M. Minsky, S. Papert: Perceptrons—An Introduction to Computational Geometry. The MIT Press, Cambridge, MA.
  • [Mokrzycki 1992a] W. Mokrzycki: Stereoskopowe systemy postrzegania głębi sceny: „ przegląd zagadnień [Stereoscopic systems of scene depth perception: A survey. in Polish]. Machine GRAPHICS & VISION, 2(1/2): 342-392.
  • [Mokrzycki 1992b] W. Mokrzycki: Encyklopedia przetwarzania obrazów [Encyclopedia of Picture Processing, in Polish]. Akademicka Oficyna Wydawnicza RM, Warsaw.
  • [Montanari 1970] U. Montanari: A note on minimal length polygonal approximation to „a digitized contour. Communications of the ACM, 13: 41-47.
  • [Moore, R.C. 1982] R.C. Moore: The role of logic in knowledge representation and „commonsense reasoning. In: Proc. 2nd National Conference on Artificial Intelligence (AAAI-82). William Kaufmann, Los Altos, CA, 428-433. (Reprinted in: [KNOWLREPR 1985], 336-341.)
  • [Mukerjee & Joe 1990] A. Mukerjee, G. Joe: A qualitative model for space. In: Proc. 8th National Conference on Artificial Intelligence (AAAI'90). AAAI Press/The MIT Press, Menlo Park, CA, 721-727.
  • [Myers 1990] B.A. Myers: Taxonomies of visual programming and program visualization. Journal of Visual Languages and Computing, 1(1): 97-123.
  • [Narasimhan 1964] R. Narasimhan: Labeling schemata and syntactic description of pictures. Information and Control, 7(2): 151-179.
  • [Needham 1997] T. Needham: Visual! Complez Analysis. Clarendon Press, Oxford.
  • [Nelsen 1993] R.B. Nelsen: Proofs Without Words: Ezercises in Visual Thinking. The Mathematical Association of America, Washington, DC.
  • [Nelson 1985) G. Nelson: Juno, a constraint based graphics system. Computer Graphics, 19: 235-243.
  • [Neumaier 1990] A. Neumaier: Interval Methods for Systems of Equations. Cambridge University Press, Cambridge.
  • [Neumaier 2003] A. Neumaier: Taylor forms—use and limits. Reliable Computing, 9(1): 43-79.
  • [Nieniewski 1998] M. Nieniewski: Morfologia matematyczna w przetwarzaniu obrazów [Mathematical Morphology in Picture Processing, in Polish]. Akademicka Oficyna Wydawnicza PLJ. Warsaw.
  • [Nökel 1991] K. Nökel: Temporally Distributed Symptoms in Technical Diagnosis. Lecture Notes in Artificial Intelligence, vol. 517. Springer-Verlag, Berlin.
  • [Olivier 1997] P. Olivier: Hierarchy and attention jn computational imagery. In: [78]. 17—88.
  • [Olivier et al. 1996] P. Olivier, K. Nakata, A.R.T. Ormsby: Occupancy array-based kinematic reasoning. Engineering Applications of Artificial Intelligence, 9(5): 541-549.
  • [Pavlidis 1982] T. Pavlidis: Algorithms for Graphics and Image Processing. Computer Science Press, Rockville, MD. (Polish edition: T. Pavlidis: Grafika i przetwarzanie obrazów, WNT. Warszawa 1987.
  • [Penrose & Penrose 1958] L.S. Penrose, R. Penrose: Impossible objects: A special type of visual illusion. British Journal of Psychology. 49(1): 31-33.
  • [Piaget 1951) J. Piaget: The Origin of Intelligence in Children. International Universities Press, New York.
  • [Pineda 6. Garza 1998] L. Pineda, G. Garza: A model for multimodal representation and inference. In: L. Pineda, T. Rist. J. Lee, eds.: Interpretation and Generation in Intelligent Multimodal Systems and Graphical Reasoning in Expert Systems (Proc. of the Workshop at the 4th World Congress on Expert Systems), ITESM, Mexico City, Mexico, 6-21.
  • [Pratt 1978] W.K. Pratt: Digital Image Processing. J. Wiley £ Sons, New York. [3rd ed.: 2001].
  • [Proffitt & Rosen 1979] D. Proffitt, D. Rosen: Metrication errors and coding efficiency of chain-encoding schemes for the representation of lines and edges. Computer Graphics and Image Processing, 10: 318-332.
  • [Pylyshyn 1981] Z.W. Pylyshyn: The imagery debate: Analogue media versus tacit knowledge. Psychological Review, 88: 16-45. (Reprinted in: A. Collins, E.E. Smith, eds.: Readings in Cognitive Science: A Perspective from Psychology and Artificial Intelligence. Morgan Kaufmann, San Mateo, CA 1988, 600-614.
  • [Ratschek 1972] H. Ratschek: Teilbarkeitskriterien der Intervallarithmetik. J. Reine Angewandte Mathematik, 252: 128-138.
  • [Ratschek 1973] H. Ratschek: Intervalarithmetik—mit Zirkel und Lineal. Elemente der Mathematik, 28(4): 93-96.
  • [Ratschek 1980] H. Ratschek : Representation of interval operations by coordinates. Computing, 24: 93-96.
  • [Ratschek & Rokne 1984] H. Ratschek, J. Rokne: Computer Methods for the Range of Functions. J. Wiley & Sons, New York.
  • [Rit 1986] J.-F. Rit: Propagating temporal constraints for scheduling. In: Proc. Fifih National Conference on Artificial Intelligence (AAAI-86). Morgan Kaufmann. Los Alte. CA, 383-388.
  • [Rohn 1989] J. Rohn: Systems of linear interval equations. Linear Algebra and Its Applications, 126: 39-78.
  • [Rohn 2000] J. Rohn: Finite characterization of some linear problems with inexact data. Invited Lecture at the SCAN/INTERVAL 2000 Conference. Karlsruhe. Sepr 18-23, 2000. [Unpublished; for conference slides of the lecture and later additions. see http://www.ippt.gov.pl/nzkulpa/quaphys/interval.html
  • [Rosen 1980] D. Rosen: On the areas and boundaries of quantized objects. Computer Graphics and Image Processing. 13: 94-98.
  • [Rosenfeld 1969] A. Rosenfeld: Picture Processing by Computer. Academic Press. New York.
  • [Rosenfeld & Kak 1976] A. Rosenfeld, A.C. Kak: Digital Picture Processing. Academic Press, New York.
  • [Rosenfeld & Pfaltz 1966] A. Rosenfeld, J.L. Pfaltz: Sequential operations in digital picture processing. Journal of the ACM, 1304).
  • [Roth & Mattis 1990] S.F. Roth, J. Mattis: Data characterization for intelligent graphics presentation. In: Human Factors in Computing Systems VII (Proc. of the Conf. on Computer-Human Interaction (CHI'90)). ACM Press, 193-200.
  • [Roth & Mattis 1991] S.F. Roth, J. Mattis: Automating the presentation of information. In: Proc. IEEE Conf. on Artificial Intelligence Applications. IEEE Press.
  • [Rucker 1982] R. Rucker: Infinity and the Mind: The Science and Philosophy of the Infinite. Bantam Books, New York.
  • [Schlieder 1996] C. Schlieder: Diagrammatic reasoning about Allen's interval relations. In: AAATI Spring Symposium on Cognitive and Computational Models of Spatial Representations (Stanford, CA, March 25-27, 1996), Stanford University, Stanford, CA, 9 pp.
  • [Serra 1989] J. Serra: Image Analysis and Mathematical Morphology. Academic Press, New York.
  • [Shary 1996] S.P. Shary: Algebraic approach to the interval linear static identification. tolerance, and control problems, or one more application of Kaucher arithmetic. Reliable Computing. 2: 3-383.
  • [Shary 2002] S.P. Shary: A new technique in system analysis under interval uncertainty and ambiguity. Reliable Computing. 8(5): 321-418.
  • [Shimojima 1996] A. Shimojima: Operational constraints in diagrammatic reasoning, In: (DIAGRAMS 1996], 27-48.
  • [Sbimojima 2001] A. Shimojima: The graphic linguistic distinction. Exploring alternatives. In: (DIAGRAMS 2001], 6-27.
  • [Shin 1994] S.-J. Shin: The Logical Statua of Diagrams. Cambridge University Press, New York.
  • [Shu 1988] N.C. Shu: Visual Programming. Van Nostrand kteinhold Mew York
  • [Sklansky 1970] J. Sklansky: Thresholded convolutions operations. Journal of the ACM 17(1): 161-165.
  • [Sloman 1971] A. Sloman: Interactions between philosophy and AI: The role of intuition and non-logical reasoning in intelligence. Artificial Intelligence, 2: 209-225.
  • [Sloman 1975] A. Sloman: Afterthoughts on analogical representations. In: Proc. 1st Workshop Theoretical Issues in Natural Language Processing (TINLAP-1 ). Cambridge, MA, 164-171. (Reprinted in: [KNOWLREPR 1985], 432-439.)
  • [Sowa 1984] J.F. Sowa: Conceptual Structures: Information Processing in Mind and Machine. Addison Wesley, Menlo Park. CA.
  • [Stąpor 2000] K. Stąpor (2000) Geographic map image interpretation—survey and problems. Machine GRAPHICS & VISION, 9: 497-518.
  • [Steinhaus 1950] H. Steinhaus: Mathematical Snapshots. Oxford University Press. Oxford. (The 3rd edition: 1983: Polish edition: Kalejdoskop matematyczny. PZWS. Warszawa 1956.)
  • [Stenning 2000] K. Stenning: Distinctions with differences: Comparing criteria for distinguishing diagrammatic from sentential systems. In: [DIAGRAMS 2000a]. 132-148.
  • [Stenning & Lemon 2001] K. Stenning, O. Lemon: Aligning logical and psychological perspectives on diagrammatic reasoning. In: [DIAGRAMS 2001], 29-62.
  • [Stenning & Oberlander 1995] K. Stenning, J. Oberlander: A cognitive theory of graphical and linguistic reasoning: logic and implementation. Cognitive Science, 19: 97-140.
  • [Sugihara 1986] K. Sugihara: Machine Interpretation of Line Drawings. The MIT Press, Cambridge, MA.
  • [Sunaga 1958] T. Sunaga: Theory of an interval algebra and its application to numerical analysis. RAAG Memoirs, 2: 547-564.
  • [Szałas 1992] A. Szałas: Zarys dedukcyjnych metod automatycznego wnioskowania (An Outline of Deductive Automatic Inference Methods, in Polish]. Akademicka Oficyna Wydawnicza RM, Warsaw.
  • [Tadeusiewicz 1977] R. Tadeusiewicz: Próba zastosowania rozpoznawania obrazów w diagnostyce neuroinfekcji [An attempt to apply image recognition in neuroinfection diagnostics, in Polish], In: Systemy informatyczne w diagnostyce i terapii [Computer Systems in Diagnostics and Therapy, in Polish], Medical Acaderny, Cracow 1-
  • [Tadeusiewicz 1985] R. Tadeusiewicz: Rozpoznawanie obrazów—zarys teorii [Recognition of Images—An Outline of a Theory, in Polish], Jagiellonian University Textbooks, | 499, Cracow.
  • [Tadeusiewicz 1992] R. Tadeusiewicz: Systemy wizyjne robotów przemysłowych[Vision Systems of Industrial Robots, in Polish]. WNT, Warsaw.
  • [Térouanne 1983] E. Térouanne: "Impossible figures” and interpretations of polyhedral figures. Journal of Mathematical Psychology, 27(4): 370-405.
  • [Thiéry 1895] A. Thiéry: Über geometrisch-optische Täuschungen. Philosophische Studien, 11(3): 307-370.
  • [Tufte 1983] E.R. Tufte: The Visual Display of Quantitative Information. Graphics Pres: Cheshire, CT.
  • [Tufte 1990] E.R. Tufte: Envisioning Information. Graphics Press, Cheshire. CT.
  • [Tufte 1997] E.R. Tufte: Visual Ezplanations: Images and Quantities, Evidence and Nar- raltve. Graphics Press, Cheshire, CT.
  • [Tye 1991] M. Tye: The Imagery Debate. The MIT Press, Cambridge. MA.
  • [van Beek & Cohen 1990] P. van Beek. R. Cohen: Exact and approximate reasoning about temporal relations. Computational Intelligence, 6: 132-144.
  • [Vilain et al. 1990] M.B. Vilain, H. Kautz, P. van Beek: Constraint propagation algorithms for temporal reasoning—A revised report. In: Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann. San Mateo, CA, 373-381.
  • [Waltz 1975] D. Waltz: Understanding line drawings with shadows. In: P.H. Winston. ed.: The Psychology of Computer Vision, McGraw-Hill Co., New York. 19-91.
  • [Wang & Lee 1993] D. Wang, J.R. Lee: Visual reasoning: Its formal semantics and applications. Journal of Visual Languages and Computing, 4(4): 327-356.
  • [Wang et al. 1995] D. Wang, J.R. Lee, H. Zeevat: Reasoning with diagrammatic representations. In: [DIAGRAMS 1995], 339-393.
  • [Warmus 1956] M. Warmus: Calculus of approximations. Bull. Acad. Polon. Sci. , CI. III, IV(5): 253-259. [For on-line scans of the paper, see http://www.ippt.gov.pl/~xzkulpa/quaphys/warmus .html#56 ]
  • [Warmus 1961] M. Warmus: Approximations and inequalities in the calculus of approximations: Classification of approximate numbers. Bull. Acad. Polon. Sci., Ser. Math, Astr. et Phys., IX(4): 241-245. [For on-line scans of the paper, see http://uwv .ippt.gov.pl/-zkulpa/quaphys/warmus .html#61
  • [Winterstein et al. 2000] D. Winterstejn, A. Bundy, M. Jamnik A Proposal for automating diagrammatic reasoning in continuous domains. In: [DIAGRAMS 2000a] 224, 999
  • [Winterstein et al. 2002] D. Winterstein, A. Bundy. C. Gurr. M Jarnnik Using anirna tion in diagrammatic theorem proving. In: [DIAGRĄ MS 2002]. 46-60
  • [Young & Deręgowski 1981] A.W. Young, J.B. Deręgowski (1981) Learning to see imposible. Perception. 10: 91-105.
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BPB4-0034-0007
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.