AN INTELLIGENT AGENT FRAMEWORK IN VRML WORLDS

Size: px
Start display at page:

Download "AN INTELLIGENT AGENT FRAMEWORK IN VRML WORLDS"

Transcription

1 AN INTELLIGENT AGENT FRAMEWORK IN VRML WORLDS T.Panayiotopoulos, G.Katsirelos, S.Vosinakis, S.Kousidou Department of Computer Science, University of Piraeus, 80 Karaoli & Dimitriou str., Piraeus, Greece 1. Introduction Agent-based technologies have been rapidly emerging since the beginning of the 1990s [1-5]. J.P.Muller, [4], states that Agents are autonomous or semi-autonomous hardware or software systems that perform tasks in complex, dynamically changing environments. This means that Intelligent Agents observe the environment, maintain an internal representation of the world, make decisions and perform tasks (executing actions). Planning is also a key issue in many Intelligent Agent architectures. This is reasonable, as planning provides the means for achieving goals given the definition of certain actions. Planning systems view the problem-solving behavior of agents as a sense-plan-act cycle [4]. As B. Hayes-Roth et.al. state, An intelligent agent is a versatile and adaptive system that performs diverse behaviors in its efforts to achieve multiple goals in a dynamic, uncertain environment [6]. Moreover, Intelligent agents technology has presented many applications so far, starting from smart clients to software for robotics applications [7-9]. On the other hand, the area of Virtual Reality seems to be appropriate for the development of Intelligent Agents applications. VRML, the Virtual Reality Modelling Language, [10], appears very promising as it has abandoned its static modelling style of its first version and moves towards more dynamic modelling techniques with the help of external programming languages like JAVA. As a result, Virtual Reality technology is capable of performing complex behavior [11].

2 Quite recently an attempt has been made to analyse the role of the underlying model-based semantics for VR modelling and relate it to the behavioural multi-agent architectures [12]. However, this attempt approaches the integration of Virtual Reality with Artificial Intelligence from a theoretical point of view. There have also been remarkable attempts to put an intelligent front-end to Internet applications, such as intelligent interactive systems which are usually implemented with Java applets [13,14]. Therefore it seems that the time has come to integrate the Virtual Reality technology with Intelligent Agents architectures. The experience gained from the areas of temporal reasoning systems [15], temporal planning systems [16] and experimental VRML programming has motivated us towards the area of developing an Intelligent Agent which could observe, decide and act in virtual environments. In this chapter we present an Intelligent Agent architecture which consists of a logical core, i.e. the Logical Agent, as well as a virtual representative, i.e. its Avatar. The chapter is structured as follows : In Section 2 we present the overall architecture of the system. Section 3 introduces the architecture of the Logical Agent, discusses the categories of knowledge represented by the agent as well as its reasoning capabilities. It also explains how the Virtual Reality Management Unit communicates with the Logical Agent and executes the commands posted by it. In section 4 we discuss some implementation issues and section 5 presents a toy example from the maze world. Finally, concluding remarks summarize the main characteristics of the framework. 2. The overall architecture of the Intelligent Agent The Intelligent Agent framework consists of two main layers : the Logical Agent layer and the Virtual World layer. These two modules while they can be viewed as layers at the conceptual level of analysis, they have been implemented as different processes which may be running at two different machines. In fact, the system uses a 2-tier Client/Server architecture, with the Virtual World module on the client side and the Logical Agent on the server side. This has been done to permit the development of network based machine independent applications. The Logical Agent is a composite module consisting of the Logical Core, the Knowledge Bases supporting the logical core and the Agent-to-Environment Communication unit, (AEC). On the other hand, the Virtual World module is also composite consisting of the Static Virtual World, the Dynamic Virtual Objects Library, containing also the agent s Virtual Representative, the Virtual Reality Management Unit, (VRMU), as well as an Environment-to-Agent Communication unit, (EAC). The Logical Core provides the agent with reasoning capabilities. Reasoning is supported by a number of knowledge bases which store various types of knowledge such as static and dynamic knowledge, domain knowledge, knowledge about the agent s capabilities, spatial knowledge about the virtual space, etc. The virtual world is represented as a mental structure in the agent s knowledge base, which is in fact an abstraction maintaining only the important information about it. The Logical Core reasons about the current world situation and according to its goals it sets some

3 abstract actions which must be immediately executed at the virtual layer. Knowledge Bases Logical Core Virtual Space Abstraction Agent-to-Environment Communication Unit Environment-to- Agent Communication Unit Dynamic Virtual Objects and Avatar Virtual Reality Management Unit Virtual Space Figure 1. The Overall Virtual Intelligent Agent Architecture The AEC module serves a twofold purpose : Its bottom level takes care of the process communication between the Logical Agent and the Virtual World module. Its top level takes care of information transfer between the Logical Core and the EAC module. Abstract actions, e.g. move to next room, are received by it and consequently send to the EAC. Finally, the abstract action arrives at the Virtual Reality Management Unit that specifies in detail the received actions. It provides specific values concerning the orientation and position of the avatar, e.g. it specifies the coordinates, orientation and path so that it can successfully move to the next room, and sends them as commands to the Virtual Reality World Browser. The browser executes the command by altering the virtual environment appropriately. When changes have been performed the AEC unit notifies the logical core that the action has been successfully executed and the logical core goes on by updating its internal and external state. Consequently, the agent looks around into the virtual space, gathers any additional information and decides the next step it should take to satisfy its goals. 3. The Structure and Functionality of the Logical Core The logic part of the agent is a partial implementation of a BDI (Belief-Desire- Intention) intelligent agent architecture. In the heart of the logic part is a look-decide-

4 act loop, which manipulates the internal and external states of the agent and produces the actions of the agent as a result. The Logical Core maintains many Knowledge Bases which are used to describe the environment, the agent itself, its goals, its mental capabilities, its behavioural capabilities, etc LOOK : LOGICAL REPRESENTATION OF THE VIRTUAL WORLD AND OBSERVATION Observation is an advanced functionality which in a real situation would require sensors and image understanding. In the situation of Virtual Reality it would require parsing and understanding of Virtual Reality files, i.e. the implementation of a subset of a VR browser. Since this was not our goal we have followed another approach : For each experiment with the Virtual Agent we define the virtual world (objects, positions, orientations, etc.) and using a preprocessor we produce two files, the VR file to be processed by the VR browser and the World Description Knowledge Base, (WD), which is an abstarct but complete description of the virtual world in terms of logical assertions. In this sense WD is not part of the agent s knowledge. Given WD, observation is defined as a look function which gathers the basic elements of WD observed from a position in it. Therefore, observation has been defined in terms of a visible spatial accessibility relation that has been also asserted into WD. Reasoning on WD results on acquiring all the entities and their observable attributes which compose the Virtual Reality Knowledge Base, (VR), which is part of the agent s knowledge. In other words, the look function is a transfer of knowledge from the world to the agent. For example, if the agent stands in the middle of a room r he can observe the surroundings, say a table t, a computer co on the table, a chair ch, and two hallways leading to rooms s and t. In this case the VR would be updated by the following elements : {rooms([r,s,t]), table(t), computer(co), chair(ch), is_at(t,r), is_on(co,t), is_at(ch,r), hallway(r,s), hallway(r,t)} While the agent moves around the virtual world VR is updated with new information concerning an abstract spatial description which will be further used for planning the agent s actions AGENT S KNOWLEDGE The agent maintains knowledge about its position, e.g. is_at(myself, r), and possessions, e.g. holding(myself, [key, pocket_computer]), which is dynamic as it changes over time. It also maintains static knowledge of its behavioural abilities in the form of actions : able( action(unlock(l),

5 precond(locked(l), is_at(p,l), lockskey(l,k), is_at(myself,p), ihold(k)), effects(unlocked(l))) Beliefs of an agent express its expectations about the current state of the world and its change according to the agents actions [4]. In particular, B is the set that is known to the agent, either through observation, embedded knowledge, or inference. Given that the architecture is so far limited to a single agent and all agent s actions are successful, B is an objective but not complete representation of the world, i.e. Belief is partial Knowledge. In a multi agent system, belief would include assumptions and knowledge about other agents as well and an agent s beliefs might be subjective and sometimes erroneous. Finally, the agent keeps track of all actions performed by it. The architecture can use this history to decide based on past actions DESIRES, GOALS AND INTENTIONS Desire is an abstract notion that specifies preferences over future world states or courses of action. A consistent subset of desires that an agent might pursue compose its Goals. Selection of one of these goals and commitment to it is a process that is called the formation of Intentions. Plans, on the other hand, are very important for the pragmatic implementation of intentions. It is possible to structure intentions into larger plans and define an agent s intentions as the plans it has currently adopted [4]. In the Virtual Agent Architecture all these are part of the Mental Structure of the agent. There are two basic desires of the agent : First, to satisfy its top level goals and second to explore the virtual world. In fact, the agent knows nothing of the virtual world when it first enters it. It therefore does some exploration first, trying always to learn something new about it, and when the time comes and has selected sufficient knowledge to satisfy the goals it starts doing so. Exploration is also tried later on when some goals have been satisfied but lack of knowldege prohibits the agent from satisfying the rest of its goals. A top level goal is defined by the action that must be executed to achieve it and the assumptions that must hold before the action can be executed. Moreover, top goals are partially ordered, so that the prerequisites of each goal are provided in terms of other goals, in a kind of a higher level assumption expressed as an abstract temporal description. This further means that some top goals take priority to become top level intentions. Commitment to a top level intention, i.e. the current active goal, activates a planning mechanism which produces a plan to achieve the goal. Of course, a plan contains intermediate goals and intentions and defines actions to be executed. These actions are part of the behavioural abilities previously mentioned. Each time the first action is selected and sent to the Virtual module for execution as a Virtual Act PLAN AND DECIDE The decide function manipulates the state of the agent. Since the decide part of the loop is in the middle of it, it has to check the information that has been presented by

6 the last act and look steps of the loop. This is what the check_previous_info function does. The check_goal_removal function is one that checks if the course of actions taken by the agent has lead to the achievement of its current_goal. If so, it removes the goal from its Top Goal list. decide: check_previous_info; deep_thinking; check_previous_info: check_goal_removal; deep_thinking: if( validate_previous_plan ) execute_previous_plan; else actual_decide; actual_decide: choose_goal; make_plan; Figure 2. A sketch of the decide algorithm. The produced plans are based on partial knowledge. As the agent executes a virtual act it may visit unexplored places of the virtual world and acquire in this way new pieces of information. Each time new information arrives, the current plan goes under reevaluation, in order to check its suitability to achieve the goal, given the new data. This enables the virtual intelligent agent to be capable of adjusting to a dynamic world. The deep_thinking function is the one that does this work. First, it validates the existing plan. It has to check whether the information that was collected by act and look affects the previous plan. If not, it just keeps that plan and goes on. Otherwise, it starts the plan-making process all over again. This consist of two high-level steps. First, it chooses one of the available goals to be the current goal. This process involves estimation of the goals that are feasible at the current point in time. In the case where more than one such goals are available, the estimation concerns the selection of a goal which is more efficient to pursue. This check usually involves some domain-specific estimation. After a goal has been chosen, a plan has to be figured out. The planning mechanism provides it, the agent commits to the first action of the plan and sends it as a command to the Virtual Reality module ACT : ACTION ABILITY VIRTUAL ACT The act function is a transformation of the World. Based on the agent s last decision,

7 it manipulates the world, in such a way that the effects of the action are carried out. act, as look, determines whether this action is feasible by making use of the function able previously mentioned. This function is the second place where a designer might choose to implement properties of the world or the agent, such as difficulties on applying an action in a given world, or modelling disabilities of the agent. Notice that the roles of the visible, accessibility relation mentioned above, and able are quite alike. visible mainly refers to the information that the world allows to reach the agent s sensors. Of course one could easily model some kind of sensor disabilities by reducing the accessibility of the function visible. During communication, the Virtual Reality Management Unit (client) receives commands to perform certain actions. We call these actions Virtual Acts as they must be executed on the Virtual World. Virtual acts can be of any kind: from changing the position and the orientation of the objects in the world, to deleting them or replacing them with other objects. They may also take parameters that define them (i.e. move object, destination). 4. Implementation Issues The system uses a 2-tier Client/Server architecture, with Java/VRML on the client side and C++/Prolog on the server side. The C++ program is used as a gateway to a Prolog meta-interpreter which reasons and determines the actions of the agent. Subsequently these actions are sent as commands to a Java applet. Finally, the Java applet hosts a VRML world where the agent exists as an avatar. Communication between these two processes takes place by using a standard stream socket over TCP/IP. This arrangement also takes care of the need to be able to run an application on multiple machines. Since TCP/IP sockets are used to decouple the logic component from the VR component, they can also be used for the communication of a multiple agent architecture. The client side of the architecture consists of a VRML GUI as well as a Java applet that acts as an intermediate medium between the server and the VRML world. The communication between VRML and Java is achieved with the use of EAI (External Authoring Interface). EAI acts as an interface between the two of them and provides a number of functions on the VRML browser that Java can perform in order to affect it. This interaction is interpreted as a change of attributes in the VRML world geometry. Each time a command is executed, the Java applet sends a verifying message to the C++ server, and the server sends the next string to process. At the end of the logical process, the server sends a signal to stop data transmission. 5. A Maze Example In this example, the intelligent agent finds his way out of a maze after having to discover some key-information in the maze, and its virtual representative (avatar) is directed through the VRML world following the agent s orders.

8 The maze consists of several rooms, which are connected to each other through hallways. Some rooms contain objects like locks and keys, used by the agent in order to exit the maze. The sequence of the agent s actions should be to find the blue key, unlock the blue lock, find the red key, unlock the red lock and go to the exit. The initial scene consists of the maze and by pressing the Start button, the agent, the locks and the keys are instantly loaded. The button Continue sets the agent in motion to start its quest for the exit. During its travel from room to room, the agent perceives these objects but does not interact with them unless the particular action follows the correct sequence (i.e. although it finds itself in the same room with the red key, it cannot pick it up unless it unlocks the blue lock). The agent stores the information it collects about the environment in its knowledge base. It then uses this gained knowledge in order to accomplish certain tasks like finding the keys, the locks or the exit. Moreover, the agent s actions change the environment (i.e. when it picks up a key, it automatically no longer exists in the virtual world). The protocol that is followed in the particular application is as follows: commence the server asks for permission to transmit data. ok the client declares it is ready for receiving data. move this action takes two parameters : the object that is about to be moved (in this particular case, the agent) and the destination. The server decides that the object should be moved to the particular destination. delete this action takes one parameter : the object that is about to be deleted. The server decides that the particular object should be deleted (either if the agent finds the correct key or if he unlocks a door). end this message is sent by the server to the client to declare the end of data transmission.

9 Figure 3. The maze When the agent is ordered to change room, Java calculates the new avatar orientation according to the target position. Then it starts a thread that rotates the avatar until it reaches the expected orientation and moves it with constant speed to the target room. The delete action is implemented by removing the VRML nodes that represent the objects. These nodes were loaded by pressing the Start button at the beginning, with use of the Inline command in VRML. Figure 4. The Virtual representative finds the blue key 6. Conclusion and future work. Our aim in this chapter was to present an intelligent agent architecture that combines reasoning abilities, effective GUI and networking extensions. In order to bring such kind if applications closer to reality, we have made use of VRML (Virtual Reality Modelling Language). In our future plans we intend to put the agent in a more complex VRML world, where he would be able to interact with additional objects. We soon expect to extend the reasoning abilities of the agent and the Virtual Reality metaphor will help towards this direction. It is also in our plans to develop an inter-agent protocol that will enable the agents to communicate with each other and exchange information and knowledge bases, in order to accomplish given tasks. Both in the industry and in the academic society there is a growing demand for GroupWare and co-operative distributed-work applications, such as video conferencing, remote work, remote people training and education, the needs of which are far beyond simple document exchange as they should be supported by intelligent systems. An intelligent virtual agent could provide its services in such applications.

10 Acknowledgement This work was partially funded by the Greek General Secretariat of Research and Technology under the project TimeLogic of ΠΕΝΕ 95, contract no References [1]. Y. Shoham, Agent-oriented programming, Artificial Intelligence, Vol. 60, pp.51-92, 1993 [2]. M. Wooldridge, N. Jennings, Intelligent agents: Theory and practice, Knowledge Engineering Review, Vol. 10(2), pp , [3]. M. Wooldridge, J. Muller, and M. Tambe, editors. Intelligent Agents II, Agent Theories, Architectures and Languages, volume 1037 of Lecture Notes in Artificial Intelligence, Springer-Verlag, [4]. J. Muller, The Design of Intelligent Agents, A Layered Approach, volume 1177 of Lecture Notes in Artificial Intelligence, Springer-Verlag, [5]. J. Muller, M. Wooldridge, and N. Jennings, editors. Intelligent Agents III, Agent Theories, Architectures and Languages, volume 1193 of Lecture Notes in Artificial Intelligence, Springer-Verlag, [6]. B. Hayes-Roth, K. Pfleger, P. Morinot, P. Lalanda, Plans and Behavior in Intelligent Agents, ftp://ksl.stanford.edu/pub/ksl-reports/ksl ps [7]. L. Cavedon, A Rao, and W. Wobcke, editors. Intelligent Agent Systems, Theoretical and Practical Issues, volume 1209 of Lecture Notes in Artificial Intelligence, Springer-Verlag, [8]. J. Bradshaw, editor, Software Agents, AAAI Press / The MIT Press, [9]. B.A.Nardi, J.R.Miller, D.J.Wright, Collaborative, Programmable Intelligent Agents, Communications of the ACM, Vol.41, no.3, pp , March [10]. ISO/IEC :1997, VRML97 International Standard, The VRML Consortium, [11]. B. Roehl, Some thoughts on Behavior in VR Systems (Second Draft : August 1995), URL: [12]. M. Prokopenko, V. Jauregui, Reasoning about Actions in Virtual Reality, IJCAI-97, Workshop on Nonmonotonic Reasoning, Action and Change, 1997 [13]. E. Denti, A. Natali, A. Omicini. Merging Logic Programming into Web-based technology : a Coordination-based approach. Proceedings of 2nd International Workshop on Logic Programming Tools for Internet Applications, Leuven, Belgium, July [14]. S.R. El-Beltagy, M. Rafea, and A. Rafea, Practical Development of Internet Prolog Applications using a Java Front End, appearing in [13]. [15]. T.Panayiotopoulos, M.Gergatsoulis, Intelligent Information Processing using TRLi, 6th International Conference and Workshop on Database and Expert Systems Applications, DEXA'95, London, U.K., September, 4-8, 1995, appears in Proceedings, N.Revell, A. M. Tjoa (Eds.), pp , [16]. C.C.Marinagi, T.Panayiotopoulos, G.A.Vouros, C.D.Spyropoulos, Advisor : A knowledge-based planning system, International Journal of Expert Systems, Research and Applications, Vol.9, No.3, pp , 1996.

11

On Design of 3D and Multimedia Extension of Information System Using VRML

On Design of 3D and Multimedia Extension of Information System Using VRML On Design of 3D and Multimedia Extension of Information System Using VRML Jiří Žára Daniel Černohorský Department of Computer Science & Engineering Czech Technical University Karlovo nam 13 121 35 Praha

More information

A Robot Recognizing Everyday Objects

A Robot Recognizing Everyday Objects A Robot Recognizing Everyday Objects -- Towards Robot as Autonomous Knowledge Media -- Hideaki Takeda Atsushi Ueno Motoki Saji, Tsuyoshi Nakano Kei Miyamato The National Institute of Informatics Nara Institute

More information

Category Theory in Ontology Research: Concrete Gain from an Abstract Approach

Category Theory in Ontology Research: Concrete Gain from an Abstract Approach Category Theory in Ontology Research: Concrete Gain from an Abstract Approach Markus Krötzsch Pascal Hitzler Marc Ehrig York Sure Institute AIFB, University of Karlsruhe, Germany; {mak,hitzler,ehrig,sure}@aifb.uni-karlsruhe.de

More information

1.1 Jadex - Engineering Goal-Oriented Agents

1.1 Jadex - Engineering Goal-Oriented Agents 1.1 Jadex - Engineering Goal-Oriented Agents In previous sections of the book agents have been considered as software artifacts that differ from objects mainly in their capability to autonomously execute

More information

INFORMATICS RESEARCH PROPOSAL REALTING LCC TO SEMANTIC WEB STANDARDS. Nor Amizam Jusoh (S ) Supervisor: Dave Robertson

INFORMATICS RESEARCH PROPOSAL REALTING LCC TO SEMANTIC WEB STANDARDS. Nor Amizam Jusoh (S ) Supervisor: Dave Robertson INFORMATICS RESEARCH PROPOSAL REALTING LCC TO SEMANTIC WEB STANDARDS Nor Amizam Jusoh (S0456223) Supervisor: Dave Robertson Abstract: OWL-S as one of the web services standards has become widely used by

More information

Adaptive Mobile Agents: Modeling and a Case Study

Adaptive Mobile Agents: Modeling and a Case Study Adaptive Mobile Agents: Modeling and a Case Study Supranamaya Ranjan Department of Electrical & Computer Engineering Rice University Houston, Texas - 77005 Arobinda Gupta Anupam Basu Anand Meka Abhishek

More information

For many years, the creation and dissemination

For many years, the creation and dissemination Standards in Industry John R. Smith IBM The MPEG Open Access Application Format Florian Schreiner, Klaus Diepold, and Mohamed Abo El-Fotouh Technische Universität München Taehyun Kim Sungkyunkwan University

More information

COMPARING AGENT ORIENTED PROGRAMMING VERSUS OBJECT- ORIENTED PROGRAMMING

COMPARING AGENT ORIENTED PROGRAMMING VERSUS OBJECT- ORIENTED PROGRAMMING COMPARING AGENT ORIENTED PROGRAMMING VERSUS OBJECT- ORIENTED PROGRAMMING Rula K.Al-Azawi Gulf College affiliated with Staffordshire University-UK Muscat/Oman E-mail: rulaalazzawi@yahoo.com Aladdin Ayesh

More information

The General Variables Concept: A Simple Step from Single- to Multi-user Environment

The General Variables Concept: A Simple Step from Single- to Multi-user Environment The General Variables Concept: A Simple Step from Single- to Multi-user Environment Michal Masa, Jiri Zara Department of Computer Science and Engineering, Czech Technical University in Prague {xmasam,

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

Reasoning on Business Processes and Ontologies in a Logic Programming Environment

Reasoning on Business Processes and Ontologies in a Logic Programming Environment Reasoning on Business Processes and Ontologies in a Logic Programming Environment Michele Missikoff 1, Maurizio Proietti 1, Fabrizio Smith 1,2 1 IASI-CNR, Viale Manzoni 30, 00185, Rome, Italy 2 DIEI, Università

More information

Visual Construction of Multi-Agent-Systems according to the AgentComponent Approach and the Run-Design-Time Concept

Visual Construction of Multi-Agent-Systems according to the AgentComponent Approach and the Run-Design-Time Concept Visual Construction of Multi-Agent-Systems according to the AgentComponent Approach and the Run-Design-Time Concept Philipp Meier Institute of Computer Science, Ludwig-Maximilians-Universität meierp@pst.informatik.uni-muenchen.de

More information

Agent Language Analysis: 3APL

Agent Language Analysis: 3APL Alvarez Napagao Sergio Auffarth Benjamin Salazar Ramirez rman Agent Language Analysis: 3APL Course: Multi-Agent Systems Professor: Javier Vazquez Introduction An Abstract Agent Programming Language or

More information

Trust4All: a Trustworthy Middleware Platform for Component Software

Trust4All: a Trustworthy Middleware Platform for Component Software Proceedings of the 7th WSEAS International Conference on Applied Informatics and Communications, Athens, Greece, August 24-26, 2007 124 Trust4All: a Trustworthy Middleware Platform for Component Software

More information

Go to contents 16 Smart Objects:

Go to contents 16 Smart Objects: Smart Objects: Constraints and Behaviors in a 3D Design Environment EGGINK, Dustin; GROSS, Mark D.; DO, Ellen Design Machine Group, Department of Architecture, University of Washington http://depts.washington.edu/dmachine/

More information

Exploration of Data from Modelling and Simulation through Visualisation

Exploration of Data from Modelling and Simulation through Visualisation Exploration of Data from Modelling and Simulation through Visualisation Tao Lin: CSIRO Mathematical and Information Sciences, PO Box 664, ACT 2601, Australia. Robert Cheung*: CRC for Advanced Computational

More information

Representing Symbolic Reasoning

Representing Symbolic Reasoning Representing Symbolic Reasoning Brian Mastenbrook and Eric Berkowitz 1400 N. Roosevelt Blvd. Schaumburg, IL 60173 chandler@acm.roosevelt.edu eric@cs.roosevelt.edu Abstract Introspection is a fundamental

More information

An Intelligent Assistant for Computer-Aided Design Extended Abstract

An Intelligent Assistant for Computer-Aided Design Extended Abstract An Intelligent Assistant for Computer-Aided Design Extended Abstract Olivier St-Cyr, Yves Lespérance, and Wolfgang Stuerzlinger Department of Computer Science, York University 4700 Keele Street, Toronto,

More information

Infrastructure for Autonomous Mobile Robots Communication and Coordination

Infrastructure for Autonomous Mobile Robots Communication and Coordination 90 Work in Progress Session Infrastructure for Autonomous Mobile Robots Communication and Coordination Marcelo M. Sobral, Leandro B. Becker Dept of Automation and Systems Universidade Federal de Santa

More information

Implementing BDI-like Systems by Direct Execution

Implementing BDI-like Systems by Direct Execution Implementing BDI-like Systems by Direct Execution Michael Fisher Department of Computing Manchester Metropolitan University Manchester Ml 5GD, United Kingdom EMAIL: M.Fisher@doc.mmu.ac.uk Abstract While

More information

Models, Tools and Transformations for Design and Evaluation of Interactive Applications

Models, Tools and Transformations for Design and Evaluation of Interactive Applications Models, Tools and Transformations for Design and Evaluation of Interactive Applications Fabio Paternò, Laila Paganelli, Carmen Santoro CNUCE-C.N.R. Via G.Moruzzi, 1 Pisa, Italy fabio.paterno@cnuce.cnr.it

More information

Agent Architectures & Languages. Heikki Helin

Agent Architectures & Languages. Heikki Helin Agent Architectures & Languages Heikki Helin Agent Architectures Introduction Different architectures Deliberative approach Reactive approach Hybrid approach Agent Architectures Definition Maes: An architecture

More information

The Formal Argumentation Libraries of Tweety

The Formal Argumentation Libraries of Tweety The Formal Argumentation Libraries of Tweety Matthias Thimm Institute for Web Science and Technologies (WeST), University of Koblenz-Landau, Germany Abstract. We provide an overview on the argumentation

More information

A Meta-Model for Fact Extraction from Delphi Source Code

A Meta-Model for Fact Extraction from Delphi Source Code Electronic Notes in Theoretical Computer Science 94 (2004) 9 28 www.elsevier.com/locate/entcs A Meta-Model for Fact Extraction from Delphi Source Code Jens Knodel and G. Calderon-Meza 2 Fraunhofer Institute

More information

JOURNAL OF OBJECT TECHNOLOGY

JOURNAL OF OBJECT TECHNOLOGY JOURNAL OF OBJECT TECHNOLOGY Online at www.jot.fm. Published by ETH Zurich, Chair of Software Engineering JOT, 2002 Vol. 1, No. 2, July-August 2002 The Theory of Classification Part 2: The Scratch-Built

More information

An Agent Modeling Language Implementing Protocols through Capabilities

An Agent Modeling Language Implementing Protocols through Capabilities An Agent Modeling Language Implementing Protocols through Capabilities Nikolaos Spanoudakis 1,2 1 Technical University of Crete, Greece nikos@science.tuc.gr Pavlos Moraitis 2 2 Paris Descartes University,

More information

User-Centred Evaluation Criteria for a Mixed Reality Authoring Application

User-Centred Evaluation Criteria for a Mixed Reality Authoring Application User-Centred Evaluation Criteria for a Mixed Reality Authoring Application Marjaana Träskbäck, Toni Koskinen, Marko Nieminen Helsinki University of Technology, Software Business and Engineering Institute

More information

A Concurrency Control for Transactional Mobile Agents

A Concurrency Control for Transactional Mobile Agents A Concurrency Control for Transactional Mobile Agents Jeong-Joon Yoo and Dong-Ik Lee Department of Information and Communications, Kwang-Ju Institute of Science and Technology (K-JIST) Puk-Gu Oryong-Dong

More information

MPEG-4 AUTHORING TOOL FOR THE COMPOSITION OF 3D AUDIOVISUAL SCENES

MPEG-4 AUTHORING TOOL FOR THE COMPOSITION OF 3D AUDIOVISUAL SCENES MPEG-4 AUTHORING TOOL FOR THE COMPOSITION OF 3D AUDIOVISUAL SCENES P. Daras I. Kompatsiaris T. Raptis M. G. Strintzis Informatics and Telematics Institute 1,Kyvernidou str. 546 39 Thessaloniki, GREECE

More information

Automated Cognitive Walkthrough for the Web (AutoCWW)

Automated Cognitive Walkthrough for the Web (AutoCWW) CHI 2002 Workshop: Automatically Evaluating the Usability of Web Sites Workshop Date: April 21-22, 2002 Automated Cognitive Walkthrough for the Web (AutoCWW) Position Paper by Marilyn Hughes Blackmon Marilyn

More information

Cognitive Walkthrough. Francesca Rizzo 24 novembre 2004

Cognitive Walkthrough. Francesca Rizzo 24 novembre 2004 Cognitive Walkthrough Francesca Rizzo 24 novembre 2004 The cognitive walkthrough It is a task-based inspection method widely adopted in evaluating user interfaces It requires: A low-fi prototype of the

More information

Argonaut: Integrating Jason and Jena for context aware computing based on OWL ontologies

Argonaut: Integrating Jason and Jena for context aware computing based on OWL ontologies Argonaut: Integrating Jason and Jena for context aware computing based on OWL ontologies Douglas Michaelsen da Silva 1, Renata Vieira 1 1 Universidade do Vale do Rio dos Sinos Av. Unisinos, 950 - CEP 93.022-000

More information

Tools for Remote Web Usability Evaluation

Tools for Remote Web Usability Evaluation Tools for Remote Web Usability Evaluation Fabio Paternò ISTI-CNR Via G.Moruzzi, 1 56100 Pisa - Italy f.paterno@cnuce.cnr.it Abstract The dissemination of Web applications is enormous and still growing.

More information

A Freely Configurable, Multi-modal Sensor System for Affective Computing

A Freely Configurable, Multi-modal Sensor System for Affective Computing A Freely Configurable, Multi-modal Sensor System for Affective Computing Steffen Mader, Christian Peter, Roland Göcke, R. Schultz, J. Voskamp, B. Urban Fraunhofer IGD Rostock, J.-Jungius-Str. 11, 18059

More information

CONTENT MODEL FOR MOBILE ADAPTATION OF MULTIMEDIA INFORMATION

CONTENT MODEL FOR MOBILE ADAPTATION OF MULTIMEDIA INFORMATION CONTENT MODEL FOR MOBILE ADAPTATION OF MULTIMEDIA INFORMATION Maija Metso, Antti Koivisto and Jaakko Sauvola MediaTeam, MVMP Unit Infotech Oulu, University of Oulu e-mail: {maija.metso, antti.koivisto,

More information

Annotation for the Semantic Web During Website Development

Annotation for the Semantic Web During Website Development Annotation for the Semantic Web During Website Development Peter Plessers and Olga De Troyer Vrije Universiteit Brussel, Department of Computer Science, WISE, Pleinlaan 2, 1050 Brussel, Belgium {Peter.Plessers,

More information

CyberOffice: A Smart Mobile Application for Instant Meetings

CyberOffice: A Smart Mobile Application for Instant Meetings , pp.43-52 http://dx.doi.org/10.14257/ijseia.2014.8.1.04 CyberOffice: A Smart Mobile Application for Instant Meetings Dong Kwan Kim 1 and Jae Yoon Jung 2 1 Department of Computer Engineering, Mokpo National

More information

Script for Visualization of Algorithms: Framework for Animation Environment and Composite Structures

Script for Visualization of Algorithms: Framework for Animation Environment and Composite Structures DEPARTMENT OF COMPUTER SCIENCE AND ENGINEERING, IIT KHARAGPUR Script for Visualization of Algorithms: Framework for Animation Environment and Composite Structures A synopsis of the thesis to be submitted

More information

Implementation of Process Networks in Java

Implementation of Process Networks in Java Implementation of Process Networks in Java Richard S, Stevens 1, Marlene Wan, Peggy Laramie, Thomas M. Parks, Edward A. Lee DRAFT: 10 July 1997 Abstract A process network, as described by G. Kahn, is a

More information

INTERACTIVE ENVIRONMENT FOR INTUITIVE UNDERSTANDING OF 4D DATA. M. Murata and S. Hashimoto Humanoid Robotics Institute, Waseda University, Japan

INTERACTIVE ENVIRONMENT FOR INTUITIVE UNDERSTANDING OF 4D DATA. M. Murata and S. Hashimoto Humanoid Robotics Institute, Waseda University, Japan 1 INTRODUCTION INTERACTIVE ENVIRONMENT FOR INTUITIVE UNDERSTANDING OF 4D DATA M. Murata and S. Hashimoto Humanoid Robotics Institute, Waseda University, Japan Abstract: We present a new virtual reality

More information

Agent-Oriented Software Engineering

Agent-Oriented Software Engineering Agent-Oriented Software Engineering Lin Zuoquan Information Science Department Peking University lz@is.pku.edu.cn http://www.is.pku.edu.cn/~lz/teaching/stm/saswws.html Outline Introduction AOSE Agent-oriented

More information

A GRAPHICAL TABULAR MODEL FOR RULE-BASED LOGIC PROGRAMMING AND VERIFICATION **

A GRAPHICAL TABULAR MODEL FOR RULE-BASED LOGIC PROGRAMMING AND VERIFICATION ** Formal design, Rule-based systems, Tabular-Trees Grzegorz J. NALEPA, Antoni LIGEZA A GRAPHICAL TABULAR MODEL FOR RULE-BASED LOGIC PROGRAMMING AND VERIFICATION ** New trends in development of databases

More information

CSC8223 Wireless Sensor Networks. Chapter 3 Network Architecture

CSC8223 Wireless Sensor Networks. Chapter 3 Network Architecture CSC8223 Wireless Sensor Networks Chapter 3 Network Architecture Goals of this chapter General principles and architectures: how to put the nodes together to form a meaningful network Design approaches:

More information

Agent-Oriented Programming

Agent-Oriented Programming Agent-Oriented Programming Marco Alberti Faculdade de Ciências e Tecnologia Universidade Nova de Lisboa Multi-Agent Systems, 2010/2011 Marco Alberti Agent-Oriented Programming MAS, 2010/2011 1 / 50 Outline

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

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

Processing Interaction Protocols in Parallel: a Logic Programming implementation for Robotic Soccer

Processing Interaction Protocols in Parallel: a Logic Programming implementation for Robotic Soccer Processing Interaction Protocols in Parallel: a Logic Programming implementation for Robotic Soccer Mariano Tucat Alejandro J. García mt@cs.uns.edu.ar ajg@cs.uns.edu.ar Consejo Nacional de Investigaciones

More information

Real-Time Coordination in Distributed Multimedia Systems

Real-Time Coordination in Distributed Multimedia Systems Real-Time Coordination in Distributed Multimedia Systems Theophilos A. Limniotes and George A. Papadopoulos Department of Computer Science University of Cyprus 75 Kallipoleos Str, P.O.B. 20537 CY-1678

More information

Adaptable and Adaptive Web Information Systems. Lecture 1: Introduction

Adaptable and Adaptive Web Information Systems. Lecture 1: Introduction Adaptable and Adaptive Web Information Systems School of Computer Science and Information Systems Birkbeck College University of London Lecture 1: Introduction George Magoulas gmagoulas@dcs.bbk.ac.uk October

More information

How useful is the UML profile SPT without Semantics? 1

How useful is the UML profile SPT without Semantics? 1 How useful is the UML profile SPT without Semantics? 1 Susanne Graf, Ileana Ober VERIMAG 2, avenue de Vignate - F-38610 Gières - France e-mail:{susanne.graf, Ileana.Ober}@imag.fr http://www-verimag.imag.fr/~{graf,iober}

More information

Research on Construction of Road Network Database Based on Video Retrieval Technology

Research on Construction of Road Network Database Based on Video Retrieval Technology Research on Construction of Road Network Database Based on Video Retrieval Technology Fengling Wang 1 1 Hezhou University, School of Mathematics and Computer Hezhou Guangxi 542899, China Abstract. Based

More information

Ad hoc and Sensor Networks Chapter 3: Network architecture

Ad hoc and Sensor Networks Chapter 3: Network architecture Ad hoc and Sensor Networks Chapter 3: Network architecture Holger Karl Computer Networks Group Universität Paderborn Goals of this chapter Having looked at the individual nodes in the previous chapter,

More information

Fault-Tolerance & Paxos

Fault-Tolerance & Paxos Chapter 15 Fault-Tolerance & Paxos How do you create a fault-tolerant distributed system? In this chapter we start out with simple questions, and, step by step, improve our solutions until we arrive at

More information

Fausto Giunchiglia and Mattia Fumagalli

Fausto Giunchiglia and Mattia Fumagalli DISI - Via Sommarive 5-38123 Povo - Trento (Italy) http://disi.unitn.it FROM ER MODELS TO THE ENTITY MODEL Fausto Giunchiglia and Mattia Fumagalli Date (2014-October) Technical Report # DISI-14-014 From

More information

Domain Specific Search Engine for Students

Domain Specific Search Engine for Students Domain Specific Search Engine for Students Domain Specific Search Engine for Students Wai Yuen Tang The Department of Computer Science City University of Hong Kong, Hong Kong wytang@cs.cityu.edu.hk Lam

More information

MetaData for Database Mining

MetaData for Database Mining MetaData for Database Mining John Cleary, Geoffrey Holmes, Sally Jo Cunningham, and Ian H. Witten Department of Computer Science University of Waikato Hamilton, New Zealand. Abstract: At present, a machine

More information

Bridges To Computing

Bridges To Computing Bridges To Computing General Information: This document was created for use in the "Bridges to Computing" project of Brooklyn College. You are invited and encouraged to use this presentation to promote

More information

Experiences with OWL-S, Directions for Service Composition:

Experiences with OWL-S, Directions for Service Composition: Experiences with OWL-S, Directions for Service Composition: The Cashew Position Barry Norton 1 Knowledge Media Institute, Open University, Milton Keynes, UK b.j.norton@open.ac.uk Abstract. Having used

More information

Perspectives on User Story Based Visual Transformations

Perspectives on User Story Based Visual Transformations Perspectives on User Story Based Visual Transformations Yves Wautelet 1, Samedi Heng 2, and Manuel Kolp 2 1 KU Leuven, Belgium yves.wautelet@kuleuven.be, 2 LouRIM, Université catholique de Louvain, Belgium

More information

WebBeholder: A Revolution in Tracking and Viewing Changes on The Web by Agent Community

WebBeholder: A Revolution in Tracking and Viewing Changes on The Web by Agent Community WebBeholder: A Revolution in Tracking and Viewing Changes on The Web by Agent Community Santi Saeyor Mitsuru Ishizuka Dept. of Information and Communication Engineering, Faculty of Engineering, University

More information

MPML: A Multimodal Presentation Markup Language with Character Agent Control Functions

MPML: A Multimodal Presentation Markup Language with Character Agent Control Functions MPML: A Multimodal Presentation Markup Language with Character Agent Control Functions Takayuki Tsutsui, Santi Saeyor and Mitsuru Ishizuka Dept. of Information and Communication Eng., School of Engineering,

More information

POMELo: A PML Online Editor

POMELo: A PML Online Editor POMELo: A PML Online Editor Alvaro Graves Tetherless World Constellation Department of Cognitive Sciences Rensselaer Polytechnic Institute Troy, NY 12180 gravea3@rpi.edu Abstract. This paper introduces

More information

On the Integration of Text Editing and Version Control

On the Integration of Text Editing and Version Control Presented at the Eighth Nordic Workshop on Programming Environment Research (NWPER 98), Ronneby, Sweden, August 1998. On the Integration of Text Editing and Version Control Patrik Persson Dept of Computer

More information

Plexil-Like Plan Execution Control in Agent Programming

Plexil-Like Plan Execution Control in Agent Programming AI and Robotics: Papers from the AAAI-14 Workshop Plexil-Like Plan Execution Control in Agent Programming Pouyan Ziafati SnT, University of Luxembourg Intelligent Systems Group, Utrecht University Abstract

More information

6.871 Expert System: WDS Web Design Assistant System

6.871 Expert System: WDS Web Design Assistant System 6.871 Expert System: WDS Web Design Assistant System Timur Tokmouline May 11, 2005 1 Introduction Today, despite the emergence of WYSIWYG software, web design is a difficult and a necessary component of

More information

Generic and Domain Specific Ontology Collaboration Analysis

Generic and Domain Specific Ontology Collaboration Analysis Generic and Domain Specific Ontology Collaboration Analysis Frantisek Hunka, Steven J.H. van Kervel 2, Jiri Matula University of Ostrava, Ostrava, Czech Republic, {frantisek.hunka, jiri.matula}@osu.cz

More information

CLAN: A Tool for Contract Analysis and Conflict Discovery

CLAN: A Tool for Contract Analysis and Conflict Discovery CLAN: A Tool for Contract Analysis and Conflict Discovery Stephen Fenech 1, Gordon J. Pace 1, and Gerardo Schneider 2 1 Dept. of Computer Science, University of Malta, Malta 2 Dept. of Informatics, University

More information

Implementing Software Connectors through First-Class Methods

Implementing Software Connectors through First-Class Methods Implementing Software Connectors through First-Class Methods Cheoljoo Jeong and Sangduck Lee Computer & Software Technology Laboratory Electronics and Telecommunications Research Institute Taejon, 305-350,

More information

Honours Project Proposal. Luke Ross Supervisor: Dr. Karen Bradshaw Department of Computer Science, Rhodes University

Honours Project Proposal. Luke Ross Supervisor: Dr. Karen Bradshaw Department of Computer Science, Rhodes University Honours Project Proposal Luke Ross Supervisor: Dr. Karen Bradshaw Department of Computer Science, Rhodes University 2 March 2012 1. Principal Investigator Investigator - Luke Allan Ross Supervisor - Dr.

More information

Framework for replica selection in fault-tolerant distributed systems

Framework for replica selection in fault-tolerant distributed systems Framework for replica selection in fault-tolerant distributed systems Daniel Popescu Computer Science Department University of Southern California Los Angeles, CA 90089-0781 {dpopescu}@usc.edu Abstract.

More information

Competitive Intelligence and Web Mining:

Competitive Intelligence and Web Mining: Competitive Intelligence and Web Mining: Domain Specific Web Spiders American University in Cairo (AUC) CSCE 590: Seminar1 Report Dr. Ahmed Rafea 2 P age Khalid Magdy Salama 3 P age Table of Contents Introduction

More information

MaDViWorld Objects Examples and Classification

MaDViWorld Objects Examples and Classification MaDViWorld Objects Examples and Classification Patrik Fuhrer and Jacques Pasquier-Rocha University of Fribourg Department of Informatics Rue P.-A. de Faucigny 2 CH-1700 Fribourg Switzerland patrik.fuhrer@unifr.ch

More information

3.4 Data-Centric workflow

3.4 Data-Centric workflow 3.4 Data-Centric workflow One of the most important activities in a S-DWH environment is represented by data integration of different and heterogeneous sources. The process of extract, transform, and load

More information

A Learning Based and Vision Guided Robotic Agent Replanning Framework and a Case Study

A Learning Based and Vision Guided Robotic Agent Replanning Framework and a Case Study IC-AI'4 A Learning Based and Vision Guided Robotic Agent Replanning Framework and a Case Study Şule Yıldırım, Postdoctor, Norwegian University of Science and Technology, Institutt for datateknikk og informasjonsvitenskap

More information

DYNAMIC CONFIGURATION OF COLLABORATION IN NETWORKED ORGANISATIONS

DYNAMIC CONFIGURATION OF COLLABORATION IN NETWORKED ORGANISATIONS 22 DYNAMIC CONFIGURATION OF COLLABORATION IN NETWORKED ORGANISATIONS Brian Shields and Owen Molloy Department of Information Technology, National University of Ireland, Galway, IRELAND. brian.shields@geminga.it.nuigalway.ie,

More information

Inductive Logic Programming in Clementine

Inductive Logic Programming in Clementine Inductive Logic Programming in Clementine Sam Brewer 1 and Tom Khabaza 2 Advanced Data Mining Group, SPSS (UK) Ltd 1st Floor, St. Andrew s House, West Street Woking, Surrey GU21 1EB, UK 1 sbrewer@spss.com,

More information

FedX: A Federation Layer for Distributed Query Processing on Linked Open Data

FedX: A Federation Layer for Distributed Query Processing on Linked Open Data FedX: A Federation Layer for Distributed Query Processing on Linked Open Data Andreas Schwarte 1, Peter Haase 1,KatjaHose 2, Ralf Schenkel 2, and Michael Schmidt 1 1 fluid Operations AG, Walldorf, Germany

More information

Multi-Layered Architecture of Middleware for Ubiquitous Robot

Multi-Layered Architecture of Middleware for Ubiquitous Robot Multi-Layered Architecture of Middleware for Ubiquitous Robot In-Bae Jeong, Jong-Hwan Kim Department of Electrical Engineering and Computer Science KAIST Daejeon, Republic of Korea {ibjeong,johkim}@rit.kaist.ac.kr

More information

Middleware Mediated Transactions & Conditional Messaging

Middleware Mediated Transactions & Conditional Messaging Middleware Mediated Transactions & Conditional Messaging Expert Topic Report ECE1770 Spring 2003 Submitted by: Tim Chen John C Wu To: Prof Jacobsen Date: Apr 06, 2003 Electrical and Computer Engineering

More information

DEFINITION OF OPERATIONS ON NETWORK-BASED SPACE LAYOUTS

DEFINITION OF OPERATIONS ON NETWORK-BASED SPACE LAYOUTS CONVR2011, International Conference on Construction Applications of Virtual Reality, 2011 DEFINITION OF OPERATIONS ON NETWORK-BASED SPACE LAYOUTS Georg Suter, PhD, Associate Professor Department of Digital

More information

AN OVERVIEW OF SEARCHING AND DISCOVERING WEB BASED INFORMATION RESOURCES

AN OVERVIEW OF SEARCHING AND DISCOVERING WEB BASED INFORMATION RESOURCES Journal of Defense Resources Management No. 1 (1) / 2010 AN OVERVIEW OF SEARCHING AND DISCOVERING Cezar VASILESCU Regional Department of Defense Resources Management Studies Abstract: The Internet becomes

More information

EFFICIENT CLUSTERING WITH FUZZY ANTS

EFFICIENT CLUSTERING WITH FUZZY ANTS EFFICIENT CLUSTERING WITH FUZZY ANTS S. SCHOCKAERT, M. DE COCK, C. CORNELIS AND E. E. KERRE Fuzziness and Uncertainty Modelling Research Unit, Department of Applied Mathematics and Computer Science, Ghent

More information

A Web Based Registration system for Higher Educational Institutions in Greece: the case of Energy Technology Department-TEI of Athens

A Web Based Registration system for Higher Educational Institutions in Greece: the case of Energy Technology Department-TEI of Athens A Web Based Registration system for Higher Educational Institutions in Greece: the case of Energy Technology Department-TEI of Athens S. ATHINEOS 1, D. KAROLIDIS 2, P. PRENTAKIS 2, M. SAMARAKOU 2 1 Department

More information

LECTURE 4: DEDUCTIVE REASONING AGENTS. An Introduction to Multiagent Systems CIS 716.5, Spring 2006

LECTURE 4: DEDUCTIVE REASONING AGENTS. An Introduction to Multiagent Systems CIS 716.5, Spring 2006 LECTURE 4: DEDUCTIVE REASONING AGENTS CIS 716.5, Spring 2006 1 Agent Architectures Pattie Maes (1991): [A] particular methodology for building [agents]. It specifies how... the agent can be decomposed

More information

Search-Based Software Engineering: 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings (Lecture Notes In

Search-Based Software Engineering: 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings (Lecture Notes In Search-Based Software Engineering: 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings (Lecture Notes In Computer Science) Search-Based Software Engineering 7th International

More information

RATCOP: Relational Analysis Tool for Concurrent Programs

RATCOP: Relational Analysis Tool for Concurrent Programs RATCOP: Relational Analysis Tool for Concurrent Programs Suvam Mukherjee 1, Oded Padon 2, Sharon Shoham 2, Deepak D Souza 1, and Noam Rinetzky 2 1 Indian Institute of Science, India 2 Tel Aviv University,

More information

Mining High Order Decision Rules

Mining High Order Decision Rules Mining High Order Decision Rules Y.Y. Yao Department of Computer Science, University of Regina Regina, Saskatchewan, Canada S4S 0A2 e-mail: yyao@cs.uregina.ca Abstract. We introduce the notion of high

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

1-1. Switching Networks (Fall 2010) EE 586 Communication and. September Lecture 10

1-1. Switching Networks (Fall 2010) EE 586 Communication and. September Lecture 10 EE 586 Communication and Switching Networks (Fall 2010) Lecture 10 September 17 2010 1-1 Announcement Send me your group and get group ID HW3 (short) out on Monday Personal leave for next two weeks No

More information

Advances in Databases and Information Systems 1997

Advances in Databases and Information Systems 1997 ELECTRONIC WORKSHOPS IN COMPUTING Series edited by Professor C.J. van Rijsbergen Rainer Manthey and Viacheslav Wolfengagen (Eds) Advances in Databases and Information Systems 1997 Proceedings of the First

More information

WWW Applications for an Internet Integrated Service Architecture

WWW Applications for an Internet Integrated Service Architecture WWW Applications for an Internet Integrated Service Architecture T. V. Do, B. Kálmán, Cs. Király, Zs. Mihály, Zs. Molnár, Zs. Pándi Department of Telecommunications Technical University of Budapest Fax:

More information

Enhanced Communication Services through Context Integration

Enhanced Communication Services through Context Integration Enhanced Services through Integration Romelia Plesa 1, Luigi Logrippo 2,1 1 School of Technology and Engineering, University of Ottawa, Canada 2 Département d informatique et ingénierie, Université du

More information

Developing Web-Based Applications Using Model Driven Architecture and Domain Specific Languages

Developing Web-Based Applications Using Model Driven Architecture and Domain Specific Languages Proceedings of the 8 th International Conference on Applied Informatics Eger, Hungary, January 27 30, 2010. Vol. 2. pp. 287 293. Developing Web-Based Applications Using Model Driven Architecture and Domain

More information

Ad hoc and Sensor Networks Chapter 3: Network architecture

Ad hoc and Sensor Networks Chapter 3: Network architecture Ad hoc and Sensor Networks Chapter 3: Network architecture Holger Karl, Andreas Willig, "Protocols and Architectures for Wireless Sensor Networks," Wiley 2005 Goals of this chapter Having looked at the

More information

Pattern-Oriented Development with Rational Rose

Pattern-Oriented Development with Rational Rose Pattern-Oriented Development with Rational Rose Professor Peter Forbrig, Department of Computer Science, University of Rostock, Germany; Dr. Ralf Laemmel, Department of Information Management and Software

More information

Coursework Master s Thesis Proposal

Coursework Master s Thesis Proposal Coursework Master s Thesis Proposal December 1999 University of South Australia School of Computer and Information Science Student: David Benn (9809422R) Supervisor: Dan Corbett Introduction Sowa s [1984]

More information

Ad hoc and Sensor Networks Chapter 3: Network architecture

Ad hoc and Sensor Networks Chapter 3: Network architecture Ad hoc and Sensor Networks Chapter 3: Network architecture Goals of this chapter Having looked at the individual nodes in the previous chapter, we look at general principles and architectures how to put

More information

Offering Access to Personalized Interactive Video

Offering Access to Personalized Interactive Video Offering Access to Personalized Interactive Video 1 Offering Access to Personalized Interactive Video Giorgos Andreou, Phivos Mylonas, Manolis Wallace and Stefanos Kollias Image, Video and Multimedia Systems

More information

ABSTRACT 1. INTRODUCTION

ABSTRACT 1. INTRODUCTION ABSTRACT A Framework for Multi-Agent Multimedia Indexing Bernard Merialdo Multimedia Communications Department Institut Eurecom BP 193, 06904 Sophia-Antipolis, France merialdo@eurecom.fr March 31st, 1995

More information

Creating Virtual Reality Applications on a Parallel Architecture

Creating Virtual Reality Applications on a Parallel Architecture Creating Virtual Reality Applications on a Parallel Architecture Shaun Bangay Department of Computer Science Rhodes University Grahamstown, 6140 South Africa Internet: cssb@cs.ru.ac.za 1. Introduction

More information