Literatur. N. Abe,!. Soga, S. Tsuji: A Plot Understanding System on Reference to Both Image and. Allen 84

Size: px
Start display at page:

Download "Literatur. N. Abe,!. Soga, S. Tsuji: A Plot Understanding System on Reference to Both Image and. Allen 84"

Transcription

1 Literatur Abarbanel und Williams 86 R.M. Abarbanel, M.D. Williams: A Relational Representation for Knowledge Bases. Intellicoxp, Menlo Park, California. Private Mitteilung Abe et al. 81 N. Abe,!. Soga, S. Tsuji: A Plot Understanding System on Reference to Both Image and Language. Proc. 7th Int. Conf. on Artificial Intelligence, IJCAI-81, Vancouver, 1981,77-84 Adomi et a1. 84 G. Adomi, M. Di Manzo, F. Giunchiglia:From Descriptions to Images: What Reasoning in Between? Proc. 6th Europ. Conf. on Artificial Intelligence, ECAI-84, Pisa, 1984, Allen 84 J.F. Allen: Towards a General Theory of Action and Time. Artificial Intelligence 23 (1984) Andre et al. 86 E. Andre, G. Bosch, G. Herzog, T. Rist: Characterizing Trajectories of Moving Objects Using Natural Language Path Descriptions. Proc. 7th European Conference on Artificial Intelligence, ECAI-86, July 21-25,1986, Brighton/Sussex, UK, Vol. 2,1-8 Andre et al. 87 E. Andre, G. Herzog, T. Rist: SOCCER: Ein System zur simultanen natiirlichsprachlichen Beschreibung zeitveranderlicher Realweltszenen. Universitiit des Saarlandes, SFB 314, Bericht Nr. 18, 1987 Ayache und Faugeras 87 N. Ayache, O.D. Faugeras: Building a Consistent 3D Representation of a Mobile Robot Environment by Combining Multiple Stereo Views. Proc. 10th Int. Conf. on Artificial Intelligence, IJCAI-87, Mailand 1987, Badler75 N.!. Badler: Temporal Scene Analysis: Conceptual Descriptions of Object Movements. Tech. Report No. 80, Feb. 75, Dept. of Computer Science, University of Toronto Ballard und Brown 82 D.H. Ballard, C.M. Brown: Computer Vision. Prentice-Hall, New Jersey, 1982 Banerjee et a1. 86 J. Banerjee, H.-J. Kim, W. Kim, H.F. Korth: Schema Evolution in Object-Oriented Persistent Databases. Proc. 6th Advanced Database Symposium, Peking, Aug. 1986,23-31 Barron et al. 87 J.L. Barron, A.D. Jepson, J.K. Tsotsos: Determination of Egomotion and Environmental Layout From Noisy Time-Varying Image Velocity in Binocular Image Sequences. Proc. 10th Int. Conf. on Artificial Intelligence, IJCAI-87, Mailand 1987, Batory und Buchmann 84 D.S. Batory, A.P. Buchmann: Molecular Objects, Abstract Data Types, and Data Models: a Framework. Proc. 10th Intemational Conference on Very Large Data Bases VLDB-10, Singapore, 1984, Benn86 W. Benn: Dynamische nicht-normalisierte Relationen und symboiische Bildbeschreibung. Infonnatik-Fachberichte 128, Springer-Verlag, Berlin, Heidelberg, New York, 1986

2 236 Bidoit und Froidevaux 88 N. Bidoit, C. Froidevaux: More on Stratified Default Theories. Proc. 8th European Conference on Artificial Intelligence, ECAI-88, Aug. 1-5, Miinchen 1988, Bobrow und Winograd 77 D.O. Bobrow, T. Winograd: An Overview of KRL, a Knowledge Representation Language. Cognitive Science 1 (1977) 3-46 Bomer and Studer 87 S. Bomer, R Studer: An Approach to Manage Large Inheritance Networks. IDM Oermany, ULOO-Report No.8, 1987 Boursier85 P. Boursier: Image Data Bases: A Status Report IEEE Computer Society Workshop on Computer Architecture for Pattern Analysis and Image Database Management, Miami Beach, 1985, Brachman79 RJ. Brachman: On the Epistemological Status of Semantic Networks. in N.V. Findler (ed.): Associative Networks, Academic Press, New York, 1979 Brachman et al. 83 RJ. Brachman, RE. Fikes, HJ. Levesque: KRYPTON: Integrating Terminology and Assertion. Proc. National Conference on Artificial Intelligence AAAI-83, Washington D.C., Brachman und Schmolze 85 RJ. Brachman, J.O. Schmolze: An Overview of the KL-ONE Representation System. Cognitive Science 9 (1985) Buchanan und Shortliffe 84 B. Buchanan, E. Shortliffe (eds.): Rule Based Expert Systems - the MYCIN Experiments. Addison-Wesley, Reading, Mass., 1984 Burger und Bhanu 87 W. Burger, B. Bhanu: Qualitative Motion Understanding. Proc. 10th Int. Conf. on Artificial Intelligence, UCAI-87, Mailand 1987, Chang 86 S.K. Chang: Image database systems. In T.Y. Young, K.-S. Fu (eds.): Handbook ofpattem Recognition and Image Processing, Academic Press, New York, London, 1986, Chen 76 P.P. Chen: The Entitiy-Relationship Model: Toward a Unified View of Data. ACM Trans. Database Syst. 1:1 (1976) 9-36 Chung et al. 83 I. Chung, F. Nakamura, P.P. Chen: A Decomposition of Relations Using the Entity-Relationship Approach. In P. Chen (ed.): Entity-Relationship Approach to Information Modeling and Analysis, North-Holland, Amsterdam, New York, Oxford, 1983, Clayton 85 B.D. Clayton: ART Programming Primer. Inference Corporation, Los Angeles, 1985 Clocksin und Mellish 81 W.F. Clocksin, C.S. Mellish: Programming in Prolog. Springer-Verlag, Berlin, Heidelberg, New York,1981 Codd79 E.F. Codd: Extending the Data Base Relational Model to Capture More Meaning. ACM Trans. Database Syst. 4:4 (1979)

3 237 Dadam et al. 86 P. Dadam, K. Kiispert, F. Andersen, H. Blanken, R. Erbe, J. Guenauer, V. Lum, P. Pistor, G. Walch: A DBMS Prototype to Support Nf'2-Relations: An Integrated View on Flat Tables and Hierarchies. Proc. ACM SIGMOD, May 1986, Date 81 C.J. Date: An Introduction to Database Systems. 3rd ed., Addison-Wesley, Reading, Mass., 1981 Date 83 C.J. Date: An Introduction to Database Systems, Volume II. Addison-Wesley, Reading, Mass., 1983 Davis und King 77 R. Davis, J. King: An Overview of Production Systems. Machine Intelligence 8, Wiley and Sons, NY, 1977, Dayal und Smith 86 U. Dayal, J.M. Smith: PROBE: A Knowledge-Oriented Database Management System. In M.L. Brodie, J. Mylopoulos (eds.): On Knowledge Base Management Systems, Springer-Verlag, New York, Berlin, Heidelberg, 1986, Dayal et al. 87 U. Dayal, F. Manola, A. Buchmann, U. Chakravarthy,D. Goldhirsch, S. Heiler, J. Orenstein, A. Rosenthal: Simplifying Complex Objects: The PROBE Approach to Modelling and Querying Them. Informatik-Fachberichte 136, Springer-Verlag, Berlin, Heidelberg, New York, 1987, Delgrande 88 J.P. Delgrande: An Approach to Default Reasoning Based on a Pirst-Order Conditional Logic: Revised Report. Artificial Intelligence 36 (1988) DiManzo et al. 86 M. DiManzo, G. Adorni, F. Giunchiglia: Reasoning about Scene Descriptions. Proc. IEEE 74 (1986) di Primio et al. 85 F. di Primio, D. Bungers, T. Christaller: BABYLON als Werkzeug zum Aufbau von Expertensystemen. In W. Brauer, B. Radig (Hrsg.): Wissensbasierte Systeme, Informatik Fachberichte 112, Springer-Verlag, Berlin, Heidelberg, New York, 1985,70-79 Dittrich und Dayal 86 K.R. Dittrich, U. Dayal (eds.):proc International Workshop on Object-Oriented Database Systems. IEEE Computer Society Press, 1986 Dittrich et al. 87 a K.R. Dittrich, W. Gotthard, P.C. Lockemann: Complex Entities for Engineering Applications. In S. Spaccapictra (ed.): Entity-Relationship Approach, North-Holland, Amsterdam, New York, Oxford, 1987, Dittrich et al. 87b K.R. Dittrich, W. Gotthard, P.e. Lockemann: DAMOKLES - A Database System for Software Engineering Environments. Lecture Notes in Computer Science 244, Springer-Verlag, Berlin, Heidelberg, New York, 1987, Dubois und Prade 88 D. Dubois, H. Prade: Default Reasoning and Possibility Theory. Artificial Intelligence 35 (1988) Dumpala und Arora 83 S.R. Dumpala, S.K. Arora: Schema Translation Using the Entity-Relationship Approach. In P. Chen (ed.): Entity-Relationship Approach to Information Modeling and Analysis, North-Holland, Amsterdam, New York, Oxford, 1983,

4 238 Etherington 87a D.W. Etherington: A Semantics for Default Logic. Proc. 10th Int. Conf. on Artificial Intelligence, UCAI-87, Mailand 1987, Etherington 87b D.W. Etherington: Relating Default Logic and Circumscription. Proc. 10th Int. Conf. on Artificial Intelligence, UCAI-87, Mailand 1987, Ferg 85 S. Ferg: Modelling the Time Dimension in an Entity-Relationship Diagram. 4th Int. Conf. on Entity-Relationship Approach, Oct. 1985, Chicago, Ill., Fillmore 68 C. Fillmore: The Case for Case. In E. Bach und R Harms (eds.): Universals in Linguistic Theory. Holt, Rinehart und Winston, New York, 1968, 1-88 Findler79 N. V. Findler: Associative Networks. Academic Press, New York, 1979 Frost 86 RA. Frost: Introduction to Knowledge Base Systems. William Collins Sons & Co. Ltd, London, 1986 Goldberg und Robson 83 A. Goldberg, D. Robson: Smalltalk-80: The language and its implementation. Addison-Wesley, Reading, Mass Harder und Reuter 85 T. Harder, A. Reuter: Architektur von Datenbanksystemen fiir Non-Standard-Anwendungen. Informatik-Fachberichte 94, Springer-Verlag, Berlin, Heidelberg, New York, 1985, Herzog et al. 84 O. Herzog, W. Reisig, R Valk: Petri-Netze: ein AbriB ihrer Grundlagen und Anwendungen. Informatik-Spektrum 7:1 (1984) ICCV87 Proc. 1st International Conference on Computer Vision. Royal National Hotel, London, England, June 1987, IEEE Computer Society Press Iyengar und Kashyap 88 S.S. Iyengar, RL. Kashyap: Special Section on Image Databases. IEEE Trans. on Software Engineering, 14:5, 1988 Kaczmarek et al. 86 T. Kaczmarek, R. Bates, G. Robins: Recent Developments in NIKL. Proc. National Conference on Artificial Intelligence AAAI -86, Philadelphia, P A,1986, Klopprogge 83 M.R Klopprogge:Gegenstands- und Beziehungsgeschichten: Ein Konzept zur Beschreibung und Verwaltung zeitveriinderlicher Information in Datenbanken. Dissertation, FakuItat fiir Informatik, Universitat Karlsruhe, 1983 Klopprogge und Lockemann 83 M.R. Klopprogge, P.C. Lockemann: Modelling Information Preserving Databases: Consequences of the Concept of Time. Proc. Int. Conf. on Very Large Data Bases VLDB-9, Florenz, 1983, Konolige 88 K. Konolige: On the Relation between Default and Autoepistemic Logic. Artificial Intelligence 35 (1988)

5 239 Korth und Silberschatz 86 H.F. Korth, A Silberschatz: Database System Concepts. McGraw Hill, New York, 1986 Ladkin86 P. Ladkin: Time Representation: A Taxonomy of Interval Relations. Proc. National Conference on Artificial Intelligence AAAl-86, Philadelphia, PA,1986, Lakoff87 G. Lakoff: Women, Fire, and Dangerous Things. The University of Chicago Press, Chicago, London,1987 Levesque und Brachman 87 H.I. Levesque, R.I. Brachman: Expressiveness and tractability in knowledge representation and reasoning. Computational Intelligence 3 (1987) Lockemann et al. 85 P.C. Lockemann, M. Adams, M. Bever, K.R. Dittrich, B. Ferkinghoff, W. Gotthard, AM. Kotz, R-P. Liedtke, B. LUke, J.A Miille: Anforderungen technischer Anwendungen an Datenbanksysteme. Informatik-Fachberichte 94, Springer-Verlag, Berlin, Heidelberg, New York, 1985, 1-26 Luck et al. 85 K. von Luck, B. Nebel, C. Peltason, A Schmidel: The BACK System. KIT-Report 29, Fachbereich Informatik, TU Berlin, 1985 Luck et al. 87 K. von Luck, B. Nebel, C. Peltason, A Schmidel: The Anatomy of the BACK System. KIT-Report 41, Fachbereich Informatik, TU Berlin, 1987 Lyngbaek und Vianu 87. P. Lyngbaek, V. Vianu: Mapping a Semantic Database Model to the Relational Model. In U. Dayal, I. Traiger (eds.): Proc. ACM SIGMOD, San Francisco, May 1987, MacGregor und Bates 87 R Mac Gregor, R Bates: The Loom Knowledge Representation Language. Information Sciences Institute, Marina del Rey, California, ISI/RS , May 1987 Maier 83 D. Maier: The Theory of Relational Databases. Computer Science Press, Rockville, Md., 1983 Mark und Roussopoulos 83 L. Mark, N. Roussopoulos: Integration of Data, Schema and Meta-Schema in the Context of Self-Documenting Data Models. In e.g. Davis, S. Jajodia, P.A. Ng, R.T. Yeh (eds.): Proc. Entity Relationship Approach to Software Engineering, Elsevier Science Publishers B.V., North-Holland, Amsterdam, New York, Oxford, 1983, McDermott 82 J. McDermott: Rl: a rule-based configurer of computer systems. Artificial Intelligence 19 (1982) McKenzie 86 E. McKenzie: Bibliography: Temporal Databases. SIGMOD Record, 15:4 (1986) Miller 72 G. Miller: English Verbs of Motion. In AW. Melton and E. Martin (eds.): Coding Processes in Human Memory, V.H. Winston and Sons, Washington D.e., 1972, Minsky 75 M. Minsky: A Framework for Representing Knowledge. In P.H. Winston (ed.): The Psychology of Computer Vision, McGraw-Hill, New York, 1975,

6 240 Mohnhaupt 87 M. Mohnhaupt: On Modelling Events with an 'Analogical' Representation. In K. Morik (ed.): Proc. 11 th German Workshop on Artificial Intelligence, GW AI -87, Geseke, Sept./Okt. 1987, Informatik-Fachberichte 152, Springer-Verlag, Berlin, Heidelberg, New York, 1987,31-40 Morris 88 P.H. Morris: The Anomalous Extension Problem in Default Reasoning. Artificial Intelligence 35 (1988) Mylopoulos et al. 80 J. Mylopoulos, P.A. Bernstein, H.K.T. Wong: A Language Facility for Designing Database-Intensive Applications. ACM Trans. Database Syst., 5:2 (1980) Nagel 83 H.-H. Nagel: Overview on Image Sequence Analysis. In T.S. Huang (ed.): Image Sequence Processing and Dynamic Scene Analysis. NATO Advanced Study Institute Series F Vol. 2, Springer-Verlag, Berlin, Heidelberg, New York, 1983,2-39 Nagel85a H.-H. Nagel: Analyse und Interpretation von Bildfolgen. Informatik-Spektrum 8:4 (1985) und Informatik-Spektrum 8:6 (1985) Nagel85b H.-H. Nagel: Wissensgesrutzte Ansatze beim maschinellen Sehen: Helfen sie in der Praxis? Proc. GI-KongreB Wissensbasierte Systeme, Miinchen, Okt. 1985, Informatik-Fachberichte 112, Springer-Verlag, Berlin, Heidelberg, New York, 1985, Nagel 88 H.-H. Nagel: From image sequences towards conceptual descriptions. Image and Vision Computing, 6:2 (1988) Nebel 88 B. Nebel: Computational complexity of terminological reasoning in BACK. Artificial Intelligence 34 (1988) Neumann 84 B. Neuman: Natural Language Description of Time-Varying Scenes. Interner Bericht Fachbereich Informatik FBI-HH-B , Universitat Hamburg, 1984 Neumann und Novak 86 B. Neumann, H.-J. Novak: NAOS: Ein System zur natiirlichsprachlichen Beschreibung zeitveranderlicher Szenen. Informatik - Forschung und Entwicklung 1 (1986) Niemann et al. 85 H. Niemann, H. Bunke, I. Hofmann, G. Sagerer, F. Wolf, H. Feistel: A Knowledge Based System for Analysis of Gated Blood Pool Studies. IEEE Trans. on Pattern Analysis and Machine Intelligence PAMl-7 (1985) Novak 87 H.-J. Novak: Textgenerierung aus visuellen Daten: Beschreibungen von StraBenszenen. Informatik-Fachberichte 142, Springer-Verlag, Berlin, Heidelberg, New York, 1987 Okada 80 N. Okada: Conceptual Taxonomy of Japanese Verbs for Understanding Natural Language and Picture Patterns. Proc. 8th Int. Conf. on Computational Linguistic, COLING-8, Tokyo, 1980, Orenstein und Manola 88 J.A. Orenstein, FA Manola: PROBE Spatial Modeling and Query Processing in an Image Database Application. IEEE Trans. on Software Engineering, 14:5, 1988,

7 241 Pearl 88 J. Pearl: Embracing Causality in Default Reasoning. Artificial Intelligence 35 (1988) Pereira und Warren 80 F.C.N. Pereira, D.H.D. Warren: Definite Clause Grammars for Language Analysis - A Survey of the Formalism and a Comparison with Augmented Transition Networks. Artificial Intelligence 13 (1980) Petri 62 C.A. Petri: Kommunikation mit Automaten. Schriften des Rhein. westf. Instituts fur Instrumentelle Mathematik an der Universitlit Bonn, Nr. 2, 1962 Poole 88 D. Poole: A Logical Framework for Default Reasoning. Artificial Intelligence 36 (1988) Puppe85 F. Puppe: Erfahrungen aus drei Anwendungsprojekten mit MEDl. In W. Brauer, B. Radig (Hrsg.): Wissensbasierte Systeme, Informatik-Fachberichte 112, Springer-Verlag, Berlin, Heidelberg, New )'ork,1985, Quillian 68 M.R Quillian: Semantic Memory. In M. Minsky (ed.): Semantic Information Processing, MIT Press, Cambridge, Mass., 1968, Reisig 82 W. Reisig: Petrinetze - eine Einfiihrung. Springer-Verlag, Berlin, Heidelberg, New )'ork, 1982 Reiter 80 R Reiter: A Logic for Default Reasoning. Artificial Intelligence 13 (1980) Retz-Schmidt 85 G. Retz-Schmidt: Script-Based Genemtion and Evaluation of Expectations in Traffic Scenes. In H. Stoyan (ed.): Proc. 9th German Workshop on Artificial Intelligence, GW AI-85,Dassel/Solling, Sept. 1985, Informatik-Fachberichte 118, Springer-Verlag, Berlin, Heidelberg, New )'ork, 1985, Richter 84 G. Richter: Netzmodelle fur die Biirokommunikation, Teil2. Informatik-Spektrum 7:1 (1984) Rist et al. 87 T. Rist, G. Herzog, E. Andre: Ereignismodellierung zur inkrementellen high-level Bildfolgenanalyse. In E. Buchberger, J. Retti (Hrsg.): 3. Osterreichische Artificial-Intelligence-Tagung, Wien, Sept. 1987, Informatik-Fachberichte 151, Springer-Verlag, Berlin, Heidelberg, New )'ork, 1987, 1-11 Rumelhart 75 D. Rumelhart: Notes on a Schema for Stories. In D. Bobrow, A. Collins (eds.): Representation and Understanding, Academic Press, New )'ork, 1975, Schank 75 RC. Schank: Conceptual Information Processing. Lawrence Erlbaum, Hillsdale, N.J.., 1975 Schank und Abelson 77 RC. Schank, R Abelson: Scripts, Plans, Goals, and Understanding. Lawrence Erlbaum, Hillsdale, N.J., 1977 Schirm et al. 87 J.R.J. Schirra, G. Bosch, c.-k. Sung, G. Zimmermann: From Image Sequences to Natural Language: A First Step toward Automatic Perception and Description of Motions. Applied Artificial Intelligence 1 (1987),

8 242 Schmidt-SchauB 88 M. Schmidt-SchauB: Subsumption in KL-One is Undecidable. SEKI-Report SR-88-14, Fachbereich Informatik, Universitlit Kaiserslautem, 1988 Shipman 81 D.W. Shipman: Functional data model and DAPLEX. ACM Trans. Database Syst. 6: 1 (1981) Shoham87 Y. Shoham: Temporal Logics in Al: Sernantical and Ontological Considerations. Artificial Intelligence 33 (1987) Smith und Smith 77 J.M. Smith, D.C.P. Smith: Data Abstraction: Aggregation and Oeneralization. ACM Trans. Database Syst. 2:2 (1977) Snodgrass und Ahn 86 R. Snodgrass, 1. Ahn: Temporal Databases. IEEE Computer 19:9 (1986) Sowa84 J.P. Sowa: Conceptual Structures - Information Processing in Mind and Machine. Addison-Wesley, Reading, Mass., 1984 Stefik et al. 83 M. Steflk, D.O. Bobrow, S. MittaI, L. Conway: Knowledge Programming in Loops. The Al Magazine 4:3 (1983) 3-13 Stefik und Bobrow 86 M. Stefik, D.O. Bobrow: Object-Oriented Programming: Themes and Variations. The Al Magazine 6:4 (1986) Stonebraker und Rowe 86 M. Stonebraker, L.D. Rowe: The Design of Postgres. Proc. ACM SIGMOD, May 1986, Sung 88 C.-K. Sung: Extraktion von typischen und komplexen Vorgiingen aus einer langen Bildfolge einer Verkehrsszene. In H. Bunke, O. KUbler, P. Stucki (Hrsg.): Mustererkennung 1988,10. DAOM Symposium, ZUrich, Sept. 1988, Informatik-Fachberichte 180, Springer-Verlag, Berlin, Heidelberg, New York, 1988,90-96 Sung und Zimmermann 86 C.-K. Sung, O. Zimmermann: Detektion und Verfolgung mehrerer Objekte in Bildfolgen. In O. Hartmann (Hrsg.): Mustererkennung 1986,8. DAOM-Symposium, Paderbom, Sept./Okt. 1986, Informatik-Fachberichte 125, Springer-Verlag, Berlin, Heidelberg, New York, 1986, Tamura und Yokoya 84 H. Tamura, N. Yokoya: Image Database Systems: A Survey. Pattern Recognition 17:1 (1984) Tropf and Walter 83 H. Tropf. I. Walter: An A TN Model for 3D Recognition of Solids in Single Images. Proc. 8th Int. Conf. on Artiflcial Intelligence, UCAl-83. Karlsruhe Tsotsos 81 J.K. Tsotsos: Temporal Event Recognition: An Application to Left Ventricular Performance. Proc. 7th Int. Conf. on Artiflcial Intelligence, UCAl-81, Vancouver Tsotsos et al. 80 J.K. Tsotsos. J. Mylopoulos, H.D. Covvey, S.W. Zucker: A Framework for Visual Motion Understanding. IEEE Trans. on Pattern Analysis and Machine Intelligence PAMI-2 (1980)

9 243 Tsuji et al. 77 S. Tsuji, A. Morizono, S. Kuroda: Understanding a Simple Cartoon Film by a Computer Vision System. Proc. 5th Int. Conf. on Artificial Intelligence, IJCAI -77, 1977, Voss 85 H. Voss: Representing and Analyzing Time and Causality in mqual Models. In H. Stoyan (ed.): Proc. 9th German Workshop on Artificial Intelligence, GW AI-85, DasseVSolling, Sept. 1985, Informatik-Fachberichte 118, Springer-Verlag, Berlin, Heidelberg, New York, 1985, Walter et al. 86 I. Walter, P.C. Lockemann, H.-H. Nagel: Untersuchung von Datenbank-Schemata zur Modellierung von Episoden bei der algorithmischen Deutung von Bildfolgen. Interner Bericht 2/86, Fakultiit fur Informatik, Univ. Karlsruhe, 1986 Westphal und Nagel 86 H. Westphal, H.-H. Nagel: Towards the Derivation of Three-Dimensional DeScriptions from Image Sequences for Nonconvex Moving Objects. Computer Vision, Graphics, and Image Processing 34 (1986) Williams 85 C. Williams: ART The Advanced Reasoning Tool. Conceptual Overview. Inference Corporation, Los Angeles, 1985 Winograd 83 T. Winograd: Language as a Cognitive Process. Vol. 1: Syntax. Addison-Wesley, Reading, Mass Woods 70 W.A. Woods: Transition Network Grammars for Natural Language Analysis. Comm. ACM, 13:10 (1970) Woods 78 W.A. Woods: Generalization of ATN Grammars. Bolt Beranek and Newman Inc., Cambridge, Mass., BBN Report No. 3963, Part 3, Aug. 1978

Augmenting Concept Languages by Transitive Closure of Roles An Alternative to Terminological Cycles

Augmenting Concept Languages by Transitive Closure of Roles An Alternative to Terminological Cycles Augmenting Concept Languages by Transitive Closure of Roles An Alternative to Terminological Cycles Franz Baader* German Research Center for Artificial Intelligence Projektgruppe WINO, Postfach 2080 W-6750

More information

Natural Language Access to Visual Data: Dealing with Space and Movement

Natural Language Access to Visual Data: Dealing with Space and Movement Natural Language Access to Visual Data: Dealing with Space and Movement Elisabeth André, Gerd Herzog,* Thomas Rist German Research Center for Artificial Intelligence (DFKI) D-66123 Saarbrücken, Germany

More information

A Scheme for Integrating Concrete Domains into Concept Languages

A Scheme for Integrating Concrete Domains into Concept Languages A Scheme for Integrating Concrete Domains into Concept Languages Franz Baader* and Philipp Hanschke* German Research Center for AI (DFKI) Postfach 2080 W-6750 Kaiserslautern, Germany Abstract A drawback

More information

Chapter 5. Block diagram specification of the proposed Bibliographical Database Management System. 5.1 Preamble. 5.2 BDMS Design.

Chapter 5. Block diagram specification of the proposed Bibliographical Database Management System. 5.1 Preamble. 5.2 BDMS Design. Chapter 5 Block diagram specification of the proposed Bibliographical Database Management System 5.1 Preamble. Database functionality is necessary for a large category application which not only confines

More information

Transaction-Based Specification of Database Evolution

Transaction-Based Specification of Database Evolution Transaction-Based Specification of Database Evolution Lars Bækgaard Department of Information Science, the Aarhus School of Business Fuglesangs Allè 4, DK-8210 Aarhus V, Denmark Email: lb@hha.dk Abstract:

More information

A Normative Language Approach to the Application of Petri Nets for Clinical Workflows

A Normative Language Approach to the Application of Petri Nets for Clinical Workflows A Normative Language Approach to the Application of Petri Nets for Clinical Workflows Kamyar Sarshar, Peter Loos Johannes Gutenberg-Universität Mainz Information Systems & Management Lehrstuhl Wirtschaftsinformatik

More information

Maintaining Consistency in a Database with Changing Types

Maintaining Consistency in a Database with Changing Types -120- Maintaining Consistency in a Database with Changing Types Stanley B. Zdonik Brown University Department of Computer Science, Providence, RI 02912 sbz%brown@csnet-relay Abstract In this work, we address

More information

Dynamic Ontological Support for Qualitative Reasoning in The Knowledge Collective (TKC)

Dynamic Ontological Support for Qualitative Reasoning in The Knowledge Collective (TKC) Dynamic Ontological Support for Qualitative Reasoning in The Knowledge Collective (TKC) Jay Yusko and Martha Evens Illinois Institute of Technology Department of Computer Science 10 West 31 st Street,

More information

Principles of Knowledge Representation and Reasoning

Principles of Knowledge Representation and Reasoning Principles of Knowledge Representation and Semantic Networks and Description Logics II: Description Logics Terminology and Notation Albert-Ludwigs-Universität Freiburg Bernhard Nebel, Stefan Wölfl, and

More information

Distributed Database Management Systems M. Tamer Özsu and Patrick Valduriez

Distributed Database Management Systems M. Tamer Özsu and Patrick Valduriez Distributed Database Management Systems 1998 M. Tamer Özsu and Patrick Valduriez Outline Introduction - Ch 1 Background - Ch 2, 3 Distributed DBMS Architecture - Ch 4 Distributed Database Design - Ch 5

More information

Architecture and Implementation of Database Management Systems

Architecture and Implementation of Database Management Systems Architecture and Implementation of Database Management Systems Prof. Dr. Marc H. Scholl Winter 2006/07 University of Konstanz, Dept. of Computer & Information Science www.inf.uni-konstanz.de/dbis/teaching/

More information

Characterizing Trajectories of Moving Objects Using Natural Language Path Descriptions

Characterizing Trajectories of Moving Objects Using Natural Language Path Descriptions Characterizing Trajectories of Moving Objects Using Natural Language Path Descriptions Elisabeth André, Guido Bosch, Gerd Herzog, Thomas Rist SFB 314, Project VITRA, Universität des Saarlandes D-66041

More information

What s in an Instance?

What s in an Instance? RPI Computer Science Technical Report #94-18, 1994. What s in an Instance? Christopher A. Welty and David A. Ferrucci RPI Computer Science Dept. Troy, NY 12180 {weltyc,ferrucci}@cs.rpi.edu The notion of

More information

Rule Contexts in Active Databases

Rule Contexts in Active Databases Rule Contexts in Active Databases - A Mechanism for Dynamic Rule Grouping Martin Sköld, Esa Falkenroth, Tore Risch Department of Computer and Information Science, Linköping University S-581 83 Linköping,

More information

Distributed Database

Distributed Database Distributed Database PhD. Marco Antonio RAMOS CORCHADO mramos@univ-tlse1.fr marco.corchado@gmail.com VORTEX-UAEM, 2008 Visual Objects: from Reality To EXpression Research interest Research interests: Interests:

More information

General Image Database Model

General Image Database Model General Image Database Model Peter L. Stanchev Institute of Mathematics and Computer Science, Bulgarian Academy of Sciences Acad. G. Bonchev St. 8, 1113 Sofia, Bulgaria, stanchev@bas.bg Abstract. In this

More information

ASL: Hierarchy, Composition, Heterogeneity, and Multi-Granularity in Concurrent Object-Oriented Programming. Abstract

ASL: Hierarchy, Composition, Heterogeneity, and Multi-Granularity in Concurrent Object-Oriented Programming. Abstract ASL: Hierarchy, Composition, Heterogeneity, and Multi-Granularity in Concurrent Object-Oriented Programming Alfredo Weitzenfeld Computer Science Department University of Southern California Los Angeles,

More information

Distributed Database Management Systems

Distributed Database Management Systems Distributed Database Management Systems 1998 M. Tamer zsu and Patrick Valduriez Outline n Introduction n Background n Distributed DBMS Architecture n Distributed Database Design n Semantic Data Control

More information

A Class Normalization Approach to the Design of Object-Oriented Databases

A Class Normalization Approach to the Design of Object-Oriented Databases A Class Normalization Approach to the Design of Object-Oriented Databases Shuguang Hong Dept. of Computer Information Systems Georgia State University Atlanta, GA 30302-4015 CISSSHX@GSUVM1.Bitnet ABSTRACT

More information

Bridging the Representational Heterogeneity of Clinical Databases

Bridging the Representational Heterogeneity of Clinical Databases From: AAAI Technical Report SS-94-01 Compilation copyright 1994, AAAI (wwwaaaiorg) All rights reserved Bridging the Representational Heterogeneity of Clinical Databases Walter Sujansky and Russ Altman

More information

Passive 3D Photography

Passive 3D Photography SIGGRAPH 2000 Course on 3D Photography Passive 3D Photography Steve Seitz Carnegie Mellon University University of Washington http://www.cs cs.cmu.edu/~ /~seitz Visual Cues Shading Merle Norman Cosmetics,

More information

Conclusions and further reading

Conclusions and further reading Chapter 18 Conclusions and further reading We have not been exhaustive in the description of the Caml Light features. We only introduced general concepts in functional programming, and we have insisted

More information

Knowledge representation in process engineering

Knowledge representation in process engineering From: AAAI Technical Report WS-96-05. Compilation copyright 1996, AAAI (www.aaai.org). All rights reserved. Knowledge representation in process engineering Franz Baader and Ulrike Sattler RWTH Aachen,

More information

HYBRID PETRI NET MODEL BASED DECISION SUPPORT SYSTEM. Janetta Culita, Simona Caramihai, Calin Munteanu

HYBRID PETRI NET MODEL BASED DECISION SUPPORT SYSTEM. Janetta Culita, Simona Caramihai, Calin Munteanu HYBRID PETRI NET MODEL BASED DECISION SUPPORT SYSTEM Janetta Culita, Simona Caramihai, Calin Munteanu Politehnica University of Bucharest Dept. of Automatic Control and Computer Science E-mail: jculita@yahoo.com,

More information

Bibliography. [Baldwin 01] Baldwin, D., Gries, D., Henderson, P., Marion, B., Schwartz, D. Panel:

Bibliography. [Baldwin 01] Baldwin, D., Gries, D., Henderson, P., Marion, B., Schwartz, D. Panel: Bibliography [Baber 97] Baber, R. L., The Ariane 5 Explosion: A Software Engineer s View, Technical Report, Computer Science, University of the Witwatersrand, South Africa, February 1997; http://www.cs.wits.ac.za/ariane5.htm.

More information

HIGH SPEED REALISATION OF DIGITAL FILTERS

HIGH SPEED REALISATION OF DIGITAL FILTERS HIGH SPEED REALISATION OF DIGITAL FILTERS A THESIS SUBMITTED FOR THE DEGREE OF MASTER OF PHILOSOPHY IN ELECTRICAL AND ELECTRONIC ENGINEERING AT THE UNIVERSITY OF HONG KONG BY TSIM TS1M MAN-TAT, JIMMY DEPARTMENT

More information

Database Normalization as a By-product of Minimum Message Length Inference

Database Normalization as a By-product of Minimum Message Length Inference Database Normalization as a By-product of Minimum Message Length Inference David L. Dowe and Nayyar Abbas Zaidi Clayton School of I.T., Monash University, Clayton, Vic. 3800, Australia {david.dowe,nayyar.zaidi}@infotech.monash.edu.au

More information

Vicinities for Spatial Data Processing: a Statistical Approach to Algorithm Design

Vicinities for Spatial Data Processing: a Statistical Approach to Algorithm Design Vicinities for Spatial Data Processing: a Statistical Approach to Algorithm Design Peter Y. Wu wu@rmu.edu Department of Computer and Information Systems Sushil Acharya acharya@rmu.edu Department of Engineering

More information

An integrated knowledge based assembly control system for automobile manufacturing

An integrated knowledge based assembly control system for automobile manufacturing An integrated knowledge based assembly control system for automobile manufacturing B. Fredtag Technische Universitat Munchen, Institut fur Informatik Lehrstuhl Prof. Bayer Orleansstr. 34, D-8000 Munchen

More information

Using SLE for creation of Data Warehouses

Using SLE for creation of Data Warehouses Using SLE for creation of Data Warehouses Yvette Teiken OFFIS, Institute for Information Technology, Germany teiken@offis.de Abstract. This paper describes how software language engineering is applied

More information

1 Introduction. 2 Theoretical Foundation. 2.2 Spatial Relations. 2.1 Geometrical Objects. 2.3 Description logic

1 Introduction. 2 Theoretical Foundation. 2.2 Spatial Relations. 2.1 Geometrical Objects. 2.3 Description logic Using Description Logic for Reasoning about Diagrammatical Notations Volker Haarslev University of Hamburg, Computer Science Department Vogt-Kölln-Str. 30, 22527 Hamburg, Germany http://kogs-www.informatik.uni-hamburg.de/~haarslev/

More information

Graphical query languages for semantic database models

Graphical query languages for semantic database models Graphical query languages for semantic database models by BOGDAN CZEJDO, RAMEZ ELMASRI, and MAREK RUSINKIEWICZ University of Houston Houston, Texas and DAVID W. EMBLEY Brigham Young University Provo, Utah

More information

RELATIONAL REPRESENTATION OF ALN KNOWLEDGE BASES

RELATIONAL REPRESENTATION OF ALN KNOWLEDGE BASES RELATIONAL REPRESENTATION OF ALN KNOWLEDGE BASES Thomas Studer ABSTRACT The retrieval problem for a knowledge base O and a concept C is to find all individuals a such that O entails C(a). We describe a

More information

Individual User Interfaces and. Model-based User Interface Software Tools. Egbert Schlungbaum

Individual User Interfaces and. Model-based User Interface Software Tools. Egbert Schlungbaum Individual User Interfaces and Model-based User Interface Software Tools by Egbert Schlungbaum GIT-GVU-96-28 November 1996 Graphics, Visualization & Usability Center Georgia Institute of Technology Atlanta,

More information

Hartmut Pohlheim. DaimlerChrysler AG, Research and Technology Alt-Moabit 96a, Berlin, Germany.

Hartmut Pohlheim. DaimlerChrysler AG, Research and Technology Alt-Moabit 96a, Berlin, Germany. Multidimensional Scaling for Evolutionary Algorithms - Visualization of the Path through Search Space and Solution Space using SAMMON Mapping Hartmut Pohlheim DaimlerChrysler AG, Research and Technology

More information

PdOd Kev Events I Re-world war I1 rwa

PdOd Kev Events I Re-world war I1 rwa I PdOd Kev Events I Re-world war I rwa LECTURE: Knowledge Representation Overview 0 'Qpes of knowledge: objects, events, meta-knowledge, etc. 0 Characteristics of representation: expressive adequacy vs.

More information

Representation of Behavioral Knowledge for Planning and Plan Recognition in a Cognitive Vision System

Representation of Behavioral Knowledge for Planning and Plan Recognition in a Cognitive Vision System Representation of Behavioral Knowledge for Planning and Plan Recognition in a Cognitive Vision System Michael Arens and Hans Hellmut Nagel Institut für Algorithmen und Kognitive Systeme, Fakultät für Informatik

More information

REAL-TIME OBJECT-ORIENTED DESIGN AND FORMAL METHODS

REAL-TIME OBJECT-ORIENTED DESIGN AND FORMAL METHODS REAL-TIME OBJECT-ORIENTED DESIGN AND FORMAL METHODS Juan Antonio de la Puente Dept. of Telematics Engineering School of Telecommunication, Technical University of Madrid E-mail: jpuente@dit.upm.es 1. Introduction

More information

EVENT IDENTIFICATION BASED ON THE INFORMATION MAP - INFOMAP

EVENT IDENTIFICATION BASED ON THE INFORMATION MAP - INFOMAP EVENT IDENTIFICATION BASED ON THE INFORMATION MAP - INFOMAP Wen-Lian Hsu, Shih-Hung Wu and Yi-Shiou Chen Institute of Information Science, Academia Sinica Nankang, Taipei, Taiwan, R.O.C. hsu@iis.sinica.edu.tw,

More information

Novel Materialized View Selection in a Multidimensional Database

Novel Materialized View Selection in a Multidimensional Database Graphic Era University From the SelectedWorks of vijay singh Winter February 10, 2009 Novel Materialized View Selection in a Multidimensional Database vijay singh Available at: https://works.bepress.com/vijaysingh/5/

More information

The Role Concept for Relational Database Management Systems

The Role Concept for Relational Database Management Systems The Role Concept for Relational Database Management Systems Tobias Jaekel Department of Computer Science Technische Universität Dresden D-01062 Dresden, Germany tobias.jaekel@tu-dresden.de Abstract. More

More information

Knowledge Sharing and Reuse: Ontologies and Applications

Knowledge Sharing and Reuse: Ontologies and Applications Knowledge Sharing and Reuse: Ontologies and Applications Asunción Gómez-Pérez asun@fi.upm.es Laboratorio de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Campus de Montegancedo

More information

A Concept of Type Derivation for Object-Oriented Database Systems

A Concept of Type Derivation for Object-Oriented Database Systems in: L.Gün, R.Onvural, E.Gelenbe (eds.): Proc. 8 th International Symposium on Computer and Information Systems, Istanbul, 1993 A Concept of Type Derivation for Object-Oriented Database Systems Michael

More information

Development of an Ontology-Based Portal for Digital Archive Services

Development of an Ontology-Based Portal for Digital Archive Services Development of an Ontology-Based Portal for Digital Archive Services Ching-Long Yeh Department of Computer Science and Engineering Tatung University 40 Chungshan N. Rd. 3rd Sec. Taipei, 104, Taiwan chingyeh@cse.ttu.edu.tw

More information

Ontology Modeling and Storage System for Robot Context Understanding

Ontology Modeling and Storage System for Robot Context Understanding Ontology Modeling and Storage System for Robot Context Understanding Eric Wang 1, Yong Se Kim 1, Hak Soo Kim 2, Jin Hyun Son 2, Sanghoon Lee 3, and Il Hong Suh 3 1 Creative Design and Intelligent Tutoring

More information

Semantic Web KM: A Knowledge Machine for Semantic Webs

Semantic Web KM: A Knowledge Machine for Semantic Webs SIG-SWO-044-07 KM Semantic Web KM: A Knowledge Machine for Semantic Webs 1,2 1,3 Seiji Koide 1,2 Hideaki Takeda 1,3 1 1 National Institute of Informatics 2 2 Ontolonomy, LLC 3 3 SOKENDAI Univ. (The Graduate

More information

ALGORITHM SYSTEMS FOR COMBINATORIAL OPTIMIZATION: HIERARCHICAL MULTISTAGE FRAMEWORK

ALGORITHM SYSTEMS FOR COMBINATORIAL OPTIMIZATION: HIERARCHICAL MULTISTAGE FRAMEWORK ALGORITHM SYSTEMS FOR COMBINATORIAL OPTIMIZATION: HIERARCHICAL MULTISTAGE FRAMEWORK Dr. Mark Sh. Levin, The Research Inst., The College Judea & Samaria, Ariel, Israel Introduction In recent decades, signicance

More information

Using a Painting Metaphor to Rate Large Numbers

Using a Painting Metaphor to Rate Large Numbers 1 Using a Painting Metaphor to Rate Large Numbers of Objects Patrick Baudisch Integrated Publication and Information Systems Institute (IPSI) German National Research Center for Information Technology

More information

Plausible Inferencing Using Extended Composition

Plausible Inferencing Using Extended Composition Plausible Inferencing Using Extended Composition Michael N. Huhns MCC 3500 West Balcones Center Drive Austin, Texas 78759 Larry M. Stephens Center for Machine Intelligence University of South Carolina

More information

An Efficient Design and Implementation of a Heterogeneous Deductive Object-Oriented Database System

An Efficient Design and Implementation of a Heterogeneous Deductive Object-Oriented Database System An Efficient Design and Implementation of a Heterogeneous Deductive Object-Oriented Database System Cyril S. Ku Department of Computer Science William Paterson University Wayne, NJ 07470, USA Suk-Chung

More information

THE LOGIC OF INHERITANCE IN FRAME SYSTEMS

THE LOGIC OF INHERITANCE IN FRAME SYSTEMS THE LOGIC OF INHERITANCE IN FRAME SYSTEMS German Research Gerhard Brewka Institute for Mathematics and Data Processing Postfach 12 40 D 5205 Sankt Augustin fed. Rep. of Germany ABSTRACT This paper shows

More information

Unit 2. Unit 3. Unit 4

Unit 2. Unit 3. Unit 4 Course Objectives At the end of the course the student will be able to: 1. Differentiate database systems from traditional file systems by enumerating the features provided by database systems.. 2. Design

More information

Transformation of structured documents with the use of grammar

Transformation of structured documents with the use of grammar ELECTRONIC PUBLISHING, VOL. 6(4), 373 383 (DECEMBER 1993) Transformation of structured documents with the use of grammar EILA KUIKKA MARTTI PENTTONEN University of Kuopio University of Joensuu P. O. Box

More information

Which Role for an Ontology of Uncertainty?

Which Role for an Ontology of Uncertainty? Which Role for an Ontology of Uncertainty? Paolo Ceravolo, Ernesto Damiani, Marcello Leida Dipartimento di Tecnologie dell Informazione - Università degli studi di Milano via Bramante, 65-26013 Crema (CR),

More information

Towards Formalization of ARD+ Conceptual Design and Refinement Method

Towards Formalization of ARD+ Conceptual Design and Refinement Method Proceedings of the Twenty-First International FLAIRS Conference (2008) Towards Formalization of ARD+ Conceptual Design and Refinement Method Grzegorz J. Nalepa and Igor Wojnicki Institute of Automatics,

More information

York University Department of Computer Science & Engineering Revised January 27, 2014

York University Department of Computer Science & Engineering Revised January 27, 2014 York University Department of Computer Science & Engineering Revised January 27, 2014 CSE 1019 3.0 Discrete Math for Computer Science Discrete Mathematics and Its Applications, by Kenneth.H. Rosen ISBN:

More information

Research Perspectives for Time Series Management Systems

Research Perspectives for Time Series Management Systems Research Perspectives for Time Series Management Systems Werner Dreyer, Angelika Kotz Dittrich, Duri Schmidt UBILAB, Union Bank of Switzerland, Zurich {dreyer, dittrich, schmidt}@ubilab.ubs.ch Abstract

More information

Nonmonotonic Databases and Epistemic Queries*

Nonmonotonic Databases and Epistemic Queries* Nonmonotonic Databases and Epistemic Queries* Vladimir Lifschitz Department of Computer Sciences and Department of Philosophy University of Texas at Austin Austin, TX 78712, U. S. A. Abstract The approach

More information

Evaluation of regions-of-interest based attention algorithms using a probabilistic measure

Evaluation of regions-of-interest based attention algorithms using a probabilistic measure Evaluation of regions-of-interest based attention algorithms using a probabilistic measure Martin Clauss, Pierre Bayerl and Heiko Neumann University of Ulm, Dept. of Neural Information Processing, 89081

More information

Robert M. Mac Gregor USC/Information Sciences Institute 4676 Admiralty Way, Suite 1001 Marina de1 Rey, CA

Robert M. Mac Gregor USC/Information Sciences Institute 4676 Admiralty Way, Suite 1001 Marina de1 Rey, CA From: AAAI-88 Proceedings. Copyright 1988, AAAI (www.aaai.org). All rights reserved. Robert M. Mac Gregor USC/Information Sciences Institute 4676 Admiralty Way, Suite 1001 Marina de1 Rey, CA 90292 macgreg@vaxa.isi.edu

More information

Integrating Rules in Term Subsumption Knowledge Representation Servers

Integrating Rules in Term Subsumption Knowledge Representation Servers AAAI 91: Proceedings of the Ninth National Conference on Artificial Intelligence, pp 458-463 Integrating Rules in Term Subsumption Knowledge Representation Servers Brian R Gaines Knowledge Science Institute

More information

Fundamentals of. Database Systems. Shamkant B. Navathe. College of Computing Georgia Institute of Technology PEARSON.

Fundamentals of. Database Systems. Shamkant B. Navathe. College of Computing Georgia Institute of Technology PEARSON. Fundamentals of Database Systems 5th Edition Ramez Elmasri Department of Computer Science and Engineering The University of Texas at Arlington Shamkant B. Navathe College of Computing Georgia Institute

More information

Massively Parallel Knowledge Representation

Massively Parallel Knowledge Representation From: AAAI Technical Report SS-93-04. Compilation copyright 1993, AAAI (www.aaai.org). All rights reserved. Massively Parallel Knowledge Representation James Geller* Institute for Integrated Systems CIS

More information

Supporting Collaborative Authoring of Web Content by Customizable Resource Repositories

Supporting Collaborative Authoring of Web Content by Customizable Resource Repositories in: Proc. Int. Workshop "Web Databases", Wien, Sept. 2001 Supporting Collaborative Authoring of Web Content by Customizable Resource Repositories Jernej Kovse, Theo Härder, Norbert Ritter, Hans-Peter Steiert,

More information

Using Classification as a Programming Language

Using Classification as a Programming Language Using Classification as a Programming Language Chris Mellish'and Ehud Reiter* Department of Artificial Intelligence University of Edinburgh 80 South Bridge Edinburgh EH1 1HN GREAT BRITAIN Abstract Our

More information

University of Notre Dame Department of Electrical Engineering. EE-87005: Advanced Topics in Multiuser Communications

University of Notre Dame Department of Electrical Engineering. EE-87005: Advanced Topics in Multiuser Communications University of Notre Dame Department of Electrical Engineering EE-87005: Advanced Topics in Multiuser Communications Issued: Wednesday, August 23, 2006 Literature Resources & References Fall 2006 Literature

More information

An Algorithm to Determine the Chromaticity Under Non-uniform Illuminant

An Algorithm to Determine the Chromaticity Under Non-uniform Illuminant An Algorithm to Determine the Chromaticity Under Non-uniform Illuminant Sivalogeswaran Ratnasingam and Steve Collins Department of Engineering Science, University of Oxford, OX1 3PJ, Oxford, United Kingdom

More information

UNIX is a powerful operating system which has many high-level utility programs and is capable of running a number of jobs at once.

UNIX is a powerful operating system which has many high-level utility programs and is capable of running a number of jobs at once. UNIX is a powerful operating system which has many high-level utility programs and is capable of running a number of jobs at once. It has many applications including office automation, network control

More information

Revision of a Floating-Point Genetic Algorithm GENOCOP V for Nonlinear Programming Problems

Revision of a Floating-Point Genetic Algorithm GENOCOP V for Nonlinear Programming Problems 4 The Open Cybernetics and Systemics Journal, 008,, 4-9 Revision of a Floating-Point Genetic Algorithm GENOCOP V for Nonlinear Programming Problems K. Kato *, M. Sakawa and H. Katagiri Department of Artificial

More information

Model-Driven Iterative Development of 3D Web-Applications Using SSIML, X3D and JavaScript

Model-Driven Iterative Development of 3D Web-Applications Using SSIML, X3D and JavaScript Freiberg University of Mining and Technology The University of Resources. Since 1765. WEB3D 2012-17th International Conference on 3D Web Technology Model-Driven Iterative Development of 3D Web-Applications

More information

FORMAL USABILITY EVALUATION OF INTERACTIVE SYSTEMS. Nico Hamacher 1, Jörg Marrenbach 2, Karl-Friedrich Kraiss 3

FORMAL USABILITY EVALUATION OF INTERACTIVE SYSTEMS. Nico Hamacher 1, Jörg Marrenbach 2, Karl-Friedrich Kraiss 3 In: Johannsen, G. (Eds.): 8th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human Machine Systems 2001. Preprints, pp. 577-581, September 18-20, Kassel, VDI /VDE-GMA FORMAL USABILITY

More information

RECOMMENDATION SYSTEM BASED ON ASSOCIATION RULES FOR DISTRIBUTED E-LEARNING MANAGEMENT SYSTEMS

RECOMMENDATION SYSTEM BASED ON ASSOCIATION RULES FOR DISTRIBUTED E-LEARNING MANAGEMENT SYSTEMS ACTA UNIVERSITATIS CIBINIENSIS TECHNICAL SERIES Vol. LXVII 2015 DOI: 10.1515/aucts-2015-0072 RECOMMENDATION SYSTEM BASED ON ASSOCIATION RULES FOR DISTRIBUTED E-LEARNING MANAGEMENT SYSTEMS MIHAI GABROVEANU

More information

Automated Clustering-Based Workload Characterization

Automated Clustering-Based Workload Characterization Automated Clustering-Based Worload Characterization Odysseas I. Pentaalos Daniel A. MenascŽ Yelena Yesha Code 930.5 Dept. of CS Dept. of EE and CS NASA GSFC Greenbelt MD 2077 George Mason University Fairfax

More information

A Class Hierarchy Concurrency Control Technique in Object-Oriented Database Systems

A Class Hierarchy Concurrency Control Technique in Object-Oriented Database Systems A Class Hierarchy Concurrency Control Technique in Object-Oriented Database Systems Woochun Jun and Le Gruenwald Dept. of Computer Science Univ. of Oklahoma Norman, OK 73072 gruenwal@cs.ou.edu Abstract

More information

Systems:;-'./'--'.; r. Ramez Elmasri Department of Computer Science and Engineering The University of Texas at Arlington

Systems:;-'./'--'.; r. Ramez Elmasri Department of Computer Science and Engineering The University of Texas at Arlington Data base 7\,T"] Systems:;-'./'--'.; r Modelsj Languages, Design, and Application Programming Ramez Elmasri Department of Computer Science and Engineering The University of Texas at Arlington Shamkant

More information

Outline. Database Theory. Prerequisites and Admission. Classes VU , SS 2018

Outline. Database Theory. Prerequisites and Admission. Classes VU , SS 2018 Database Theory Database Theory Outline Database Theory VU 181.140, SS 2018 0. General Information Reinhard Pichler Institut für Informationssysteme Arbeitsbereich DBAI Technische Universität Wien 6 March,

More information

A METHOD FOR MINING FUNCTIONAL DEPENDENCIES IN RELATIONAL DATABASE DESIGN USING FCA

A METHOD FOR MINING FUNCTIONAL DEPENDENCIES IN RELATIONAL DATABASE DESIGN USING FCA STUDIA UNIV. BABEŞ BOLYAI, INFORMATICA, Volume LIII, Number 1, 2008 A METHOD FOR MINING FUNCTIONAL DEPENDENCIES IN RELATIONAL DATABASE DESIGN USING FCA KATALIN TUNDE JANOSI RANCZ AND VIORICA VARGA Abstract.

More information

Managing Changes to Schema of Data Sources in a Data Warehouse

Managing Changes to Schema of Data Sources in a Data Warehouse Association for Information Systems AIS Electronic Library (AISeL) AMCIS 2001 Proceedings Americas Conference on Information Systems (AMCIS) December 2001 Managing Changes to Schema of Data Sources in

More information

SYMBOLIC COMPUTATION. Managing Editors: J. Encama~o P. Hayes Artificial Intelligence Editors: L. Bole A Bundy J. Siekmann

SYMBOLIC COMPUTATION. Managing Editors: J. Encama~o P. Hayes Artificial Intelligence Editors: L. Bole A Bundy J. Siekmann SYMBOLIC COMPUTATION Managing Editors: J. Encama~o P. Hayes Artificial Intelligence Editors: L. Bole A Bundy J. Siekmann The Design of Interpreters, Compilers, and Editors for Augmented Transition Networks

More information

Servicebase Management Systems: AThree-Schema-Architecturefor Service-Management

Servicebase Management Systems: AThree-Schema-Architecturefor Service-Management Servicebase Management Systems: AThree-Schema-Architecturefor Service-Management Matthias Fischer, Marco Link, Erich Ortner, Nicole Zeise Fachgebiet Entwicklung vonanwendungssystemen Technische Universität

More information

Historical Examples for Scene Interpretation

Historical Examples for Scene Interpretation Historical Examples for Scene Interpretation 1 Early Traffic Scene Interpretation (Badler 75) Norman I. Badler Temporal Scene Analysis: Conceptual Descriptions of Object Movements Dissertation, Report

More information

Historical Examples for Scene Interpretation

Historical Examples for Scene Interpretation Historical Examples for Scene Interpretation 1 Early Traffic Scene Interpretation (Badler 75) Norman I. Badler Temporal Scene Analysis: Conceptual Descriptions of Object Movements Dissertation, Report

More information

A Study on Metadata Extraction, Retrieval and 3D Visualization Technologies for Multimedia Data and Its Application to e-learning

A Study on Metadata Extraction, Retrieval and 3D Visualization Technologies for Multimedia Data and Its Application to e-learning A Study on Metadata Extraction, Retrieval and 3D Visualization Technologies for Multimedia Data and Its Application to e-learning Naofumi YOSHIDA In this paper we discuss on multimedia database technologies

More information

INSTRUCTIONS FOR TYPESETTING MANUSCRIPTS USING COMPUTER SOFTWARE. FIRST AUTHOR University Department, University Name, Address

INSTRUCTIONS FOR TYPESETTING MANUSCRIPTS USING COMPUTER SOFTWARE. FIRST AUTHOR University Department, University Name, Address Journal of Mechanics in Medicine and Biology c World Scientific Publishing Company INSTRUCTIONS FOR TYPESETTING MANUSCRIPTS USING COMPUTER SOFTWARE FIRST AUTHOR University Department, University Name,

More information

Knowledge Representation

Knowledge Representation Knowledge Representation References Rich and Knight, Artificial Intelligence, 2nd ed. McGraw-Hill, 1991 Russell and Norvig, Artificial Intelligence: A modern approach, 2nd ed. Prentice Hall, 2003 Outline

More information

Egyptian Computer Science Journal Vol. 38 No. 2 May 2014

Egyptian Computer Science Journal Vol. 38 No. 2 May 2014 Performance Issues Concerning Storage of Time-Variant Data Dušan Petković University of Applied Sciences Hochschulstr. 1, Rosenheim, 83024, Germany petkovic@fh-rosenheim.de Abstract Time-varying data management

More information

appeared in: Proc. 23rd Annual Hawaii International Conference on System Sciences HICSS-23, Kona, Hawaii, Vol. II, pp

appeared in: Proc. 23rd Annual Hawaii International Conference on System Sciences HICSS-23, Kona, Hawaii, Vol. II, pp appeared in Proc. 23rd Annual Hawaii International Conference on System Sciences HICSS-23, Kona, Hawaii, Vol. II, pp. 472-480 Preserving Consistency in Nested Transactions H. Schöning University Kaiserslautern,

More information

15CS53: DATABASE MANAGEMENT SYSTEM

15CS53: DATABASE MANAGEMENT SYSTEM 15CS53: DATABASE MANAGEMENT SYSTEM Subject Code: 15CS53 I.A. Marks: 20 Hours/Week: 04 Exam Hours: 03 Total Hours: 56 Exam Marks: 80 Objectives of the Course: This course will enable students to Provide

More information

Logical Decision Rules: Teaching C4.5 to Speak Prolog

Logical Decision Rules: Teaching C4.5 to Speak Prolog Logical Decision Rules: Teaching C4.5 to Speak Prolog Kamran Karimi and Howard J. Hamilton Department of Computer Science University of Regina Regina, Saskatchewan Canada S4S 0A2 {karimi,hamilton}@cs.uregina.ca

More information

FUNDAMENTALS OF. Database S wctpmc. Shamkant B. Navathe College of Computing Georgia Institute of Technology. Addison-Wesley

FUNDAMENTALS OF. Database S wctpmc. Shamkant B. Navathe College of Computing Georgia Institute of Technology. Addison-Wesley FUNDAMENTALS OF Database S wctpmc SIXTH EDITION Ramez Elmasri Department of Computer Science and Engineering The University of Texas at Arlington Shamkant B. Navathe College of Computing Georgia Institute

More information

Location in railway traffic: generation of a digital map for secure applications

Location in railway traffic: generation of a digital map for secure applications Computers in Railways X 459 Location in railway traffic: generation of a digital map for secure applications F. Böhringer & A. Geistler Institut für Mess- und Regelungstechnik, University of Karlsruhe,

More information

A Generic Model for the Specification of Software Interface Requirements and Measurement of their Functional Size

A Generic Model for the Specification of Software Interface Requirements and Measurement of their Functional Size 200 ighth ACIS International Conference on ngineering esearch, Management and Applications A Generic Model for the Specification of equirements and Measurement of their Functional Size Khalid T. Al-Sarayreh

More information

Real-Time Programming and Database Systems

Real-Time Programming and Database Systems Coordinating unit: Teaching unit: Academic year: Degree: ECTS credits: 2017 205 - ESEIAAT - Terrassa School of Industrial, Aerospace and Audiovisual Engineering 723 - CS - Department of Computer Science

More information

BCS Higher Education Qualifications. Level 6 Knowledge based Systems

BCS Higher Education Qualifications. Level 6 Knowledge based Systems BCS Higher Education Qualifications Level 6 Knowledge based Systems Version 3.0 December 2016 This is a United Kingdom government regulated qualification which is administered and approved by one or more

More information

Relational Algebraic Graph Algorithms

Relational Algebraic Graph Algorithms IJCSNS International Journal of Computer Science and Network Security, VOL.17 No.1, January 2017 25 Relational Algebraic Graph Algorithms Hyu Chan Park Department of Computer Engineering, Korea Maritime

More information

Dr. Angelika Reiser Chair for Database Systems (I3)

Dr. Angelika Reiser Chair for Database Systems (I3) Introduction Dr. Angelika Reiser Chair for Database Systems (I3) www-db.in.tum.de de TU München / Garching reiser@in.tum.de Lecture Web page of the lecture: see TUMonline www-db.in.tum.de/teaching/ws1617/dbsandere

More information

A 3-D RECOGNITION AND POSITIONING ALGORITHM USING GEOMETRICAL MATCHING BETWEEN PRIMITIVE SURFACES

A 3-D RECOGNITION AND POSITIONING ALGORITHM USING GEOMETRICAL MATCHING BETWEEN PRIMITIVE SURFACES A 3-D RECOGNITION AND POSITIONING ALGORITHM USING GEOMETRICAL MATCHING BETWEEN PRIMITIVE SURFACES O.D. PAUGERAZS and M. HEBERT I.N.R.I.A Domaine de Voluceau, Rocquencourt B.P. 195, 79133 LE CHESNAY CEDEX

More information

Reasoning in BACK. Abstract. Terminological reasoning is a mode of reasoning all hybrid knowledge

Reasoning in BACK. Abstract. Terminological reasoning is a mode of reasoning all hybrid knowledge Published in Articial Intelligence 34: 371{383, 1988 Computational Complexity of Terminological Reasoning in BACK Bernhard Nebel Technische Universitat Berlin, CIS/KIT Sekr. FR 5-8, Franklinstrae 28/29

More information

M S Ramaiah Institute of Technology Department of Computer Science And Engineering

M S Ramaiah Institute of Technology Department of Computer Science And Engineering M S Ramaiah Institute of Technology Department of Computer Science And Engineering COURSE DESIGN, DELIVERY AND ASSESMENT Semester: V Course Code: CS513 Course Name: Database systems Course Faculty: Sl#

More information

AST: Support for Algorithm Selection with a CBR Approach

AST: Support for Algorithm Selection with a CBR Approach AST: Support for Algorithm Selection with a CBR Approach Guido Lindner 1 and Rudi Studer 2 1 DaimlerChrysler AG, Research &Technology FT3/KL, PO: DaimlerChrysler AG, T-402, D-70456 Stuttgart, Germany guido.lindner@daimlerchrysler.com

More information