Emergence of Cooperation Through Mutual Preference Revision
|
|
- Stuart Wiggins
- 6 years ago
- Views:
Transcription
1 Emergence of Cooperation Through Mutual Pedro Santana 1 Luís Moniz Pereira 2 1 IntRoSys, S.A. 2 CENTRIA, Universidade Nova de Lisboa 19th Int. Conf. on Industrial, Engineering & Other Applications of Applied Intelligent Systems (IEA/AIE 06)
2 A Motivating Example The mother is about to negotiate with other family members what TV show will be watched nextly... But, she wants to be fair in her position! Son s preferences : cinema x documentaries news Mother s preferences : talkshow x cinema news documentaries news Father s preferences : x talkshow news x documentaries news
3 Outline Introduction 1 Introduction 2 Fair 3 4
4 Abstracting from the Example Goal To devise a method - a cognitive process - to allow an agent to perform, or coordinate others to do so, in an fair way by taking into account other agents estimated preferences. Assumptions An agent has access to a relevant view of the involved agents and their preferences; Agents preferences can be contradictory, singly or jointly; There need not exist a pre-defined priority amongst agents or their preferences; Memory is crucial for a proper fair balance of preferences.
5 The Approach in a Nutshell Based on via Declarative Diagnosis [Dell Acqua and Pereira, 2005] The mother has to: 1 Estimate the preferences of all other agents; 2 Aggregate her preferences with all other estimates into a single merged preference specification; 3 Compile the specification into a revisable program; 4 Revise the agents preferences in order to remove all preference contradictions; 5 From the set of possible revisions select the fairest; 6 Select a TV show that complies with the newly revised program; 7 Repeat the process as preferences are updated.
6 Outline Introduction Fair 1 Introduction 2 Fair 3 4
7 Specifying Preferences Fair x y means that x is preferred to y; must satisfy the constraints of a strict partial order (others could be selected): Irreflexivity : x, x x Asymmetry : x y, x y y x Transitivity : x y z, (x y y z) x z
8 Preferences Aggregation Fair p(x, y) p son (x, y) p(x, y) p father (x, y) p(x, y) p mother (x, y) p(x, y) represents the aggregation of all preferences; Contradictions in p refer to colliding agent opinions, i.e. those that violate constraints; How to determine contradictions? Check the Integrity Constraints!
9 Integrity Constraints Fair A strict partial order can be defined by integrity constraints in the form of denials: p(x, x). p(x, y), p(y, x). where represents falsity. p(x, y), p(y, z), not p(x, z). The goal now is to remove all contradictory opinions! Remove all contradictions by adding or retracting the adoption of agents preferences. This has to be done carefully, in an evenhanded way, both in each occasion and over time!
10 Outline Introduction Fair 1 Introduction 2 Fair 3 4
11 What can be revised? Fair The preference sub-program to be revised is split into two: A stable part P s not subject to revisions: integrity constraints and non-negotiable preferences. A changeable part P c subject to revisions: negotiable preferences. P c = p 1 (a, b) p 2 (b, a) p 2 (c, b) P s = p(x, x) p(x, y), p(y, x) p(x, y), p(y, z), notp(x, z) p(x, y) p 1 (x, y) p(x, y) p 2 (x, y)
12 The Revisable Program Fair A semantics preserving transformation, Γ(P) = p 1 (a, b) not inc(p 1 (a, b)) p 2 (b, a) not inc(p 2 (b, a)) p 2 (c, b) not inc(p 2 (c, b)) p(x, y) unc(p(x, y)) p(x, x) p(x, y), p(y, x) p(x, y), p(y, z), not p(x, z) p(x, y) p 1 (x, y) p(x, y) p 2 (x, y) A diagnosis is a minimal set of facts about uncover and incorrect that when added to the program remove the contradictions (where inc = incorrect and unc = uncover). Minimal diagnosis = [inc(p 2 (b, a)], [inc(p 1 (a, b), unc(p(c, a)]
13 The Revisable Program Fair A semantics preserving transformation, Γ(P) = p 1 (a, b) not inc(p 1 (a, b)) p 2 (b, a) not inc(p 2 (b, a)) p 2 (c, b) not inc(p 2 (c, b)) p(x, y) unc(p(x, y)) p(x, x) p(x, y), p(y, x) p(x, y), p(y, z), not p(x, z) p(x, y) p 1 (x, y) p(x, y) p 2 (x, y) A diagnosis is a minimal set of facts about uncover and incorrect that when added to the program remove the contradictions (where inc = incorrect and unc = uncover). Minimal diagnosis = [inc(p 2 (b, a)], [inc(p 1 (a, b), unc(p(c, a)]
14 Outline Introduction Fair 1 Introduction 2 Fair 3 4
15 Fair Fair From all minimal diagnosis select the fairest; uncovered facts refer to rules that were added to the merged predicate p and so they affect all agents; incorrect facts refer to rules that were retracted from a specific agent preference p i, affecting solely agent i; The employed heuristic: adding a general preference is twice worse than retracting a specific preference.
16 The Cost of a Diagnosis Fair Cost associated to agent a in diagnosis D: ω yield (a, D) = ω y n y (a, D) + ω ya n ya (a, D) Average cost of all agents in D: a(d) = 1 n ω yield (a, D) a A Dispersion cost of all agents in D: 1 d(d) = n (ω yield (a, D) a(d)) 2 a A
17 The Best Diagnosis Fair Select the best diagnosis, b d, by minimising some cost function, e.g.: ( ) wwin b d [n] = min (β d d(d) + β a a(d)) D w all w win : accumulated nr. of occasions the agent less handycapted in n was favoured prior to n; w all : the greater accumulated nr. of occasions an agent was favoured prior to n;
18 Experiment (I) Implemented in XSB-Prolog / XSB-XASP Package The mother is about to negotiate with other family members what TV show will be watched nextly... But, she wants to be fair in her position Son s preferences : cinema x documentaries news Mother s preferences : talkshow x cinema news documentaries news Father s preferences : x talkshow news x documentaries news
19 Experiment (II) D = [inc(pson (cinema, cinema)), inc(p father (news, news)), inc(p mother (talkshow, news)), inc(p mother (talkshow, talkshow))] inc(p father (news, cinema)), inc(p mother (talkshow, cinema)), inc(p father (talkshow, talkshow)), (uncovered NOT DISPLAYED FOR THE SAKE OF SIMPLICITY) 1 (mother, father, son) = (0, 0, 1), son, cinema 2 (mother, father, son) = (1, 0, 1), mother, talkshow
20 Experiment (II) D = [inc(pson (cinema, cinema)), inc(p son (cinema, talkshow)), inc(p father (news, news)), inc(p father (talkshow, talkshow)), inc(p father (cinema, talkshow)), inc(p father (news, cinema)), inc(p father (news, talkshow)), inc(p mother (talkshow, talkshow))] (uncovered NOT DISPLAYED FOR THE SAKE OF SIMPLICITY) 1 (mother, father, son) = (0, 0, 1), son, cinema 2 (mother, father, son) = (1, 0, 1), mother, talkshow
21 Experiment (III) D = [inc(pson (cinema, cinema)), inc(p father (news, news)), inc(p mother (talkshow, talkshow)), inc(p son (talkshow, talkshow)), inc(p father (news, cinema)), inc(p mother (talkshow, cinema)), inc(p father (talkshow, talkshow)), inc(p mother (talkshow, talkshow))] (uncovered NOT DISPLAYED FOR THE SAKE OF SIMPLICITY) Added to Son s Preferences: x talkshow 1 (mother, father, son) = (0, 0, 1), son, cinema 2 (mother, father, son) = (1, 0, 1), mother, cinema
22 Experiment (III) D = [inc(pson (cinema, cinema)), inc(p father (news, news)), inc(p son (news, talkshow)), inc(p father (talkshow, talkshow)), inc(p mother (talkshow, talkshow))] inc(p father (news, cinema)), inc(p father (news, talkshow)), inc(p mother (talkshow, cinema)), inc(p son (talkshow, talkshow)), (uncovered NOT DISPLAYED FOR THE SAKE OF SIMPLICITY) Added to Son s Preferences: x talkshow 1 (mother, father, son) = (0, 0, 1), son, cinema 2 (mother, father, son) = (1, 0, 1), mother, cinema
23 Concluding Remarks 1 Instead of considering fixed priorities among agents and/or preferences, the method proposes a dynamic approach; 2 A cost function considers generic features of the solution (e.g. the quantity of preferences yielded by agents); 3 Introducing memory in the revision process enables the emergence of fairness and persisting cooperation; 4 The three-valued Well-Founded Semantics [Gelder et al., 1991] could be applied for a more skeptical preferential reasoning; 5 Other criteria but strict partial order for preferences, and other objective functions can be explored.
24 ANY QUESTIONS? Further information at: pfs/ lmp/
25 Alferes, J. J. and Pereira, L. M. (1996). Reasoning with Logic Programming. Springer Verlag, LNAI 1111, Berlin. Dell Acqua, P. and Pereira, L. M. (2005). Preference revision via declarative debugging. In Progress in Artificial Intelligence, Procs. 12th Portuguese Int. Conf. on Artificial Intelligence (EPIA 05), Covilhã, Portugal. Springer, LNAI Gelder, A. V., Ross, K. A., and Schlipf, J. S. (1991). The well-founded semantics for general logic programs. J. ACM, 38(3): Gelfond, M. and Lifschitz., V. (1998). The stable model semantics for logic programming.
26 In Procs. of the 5th Int. Logic Programming Conf. MIT Press.
Algorithmic Music Composition
Algorithmic Music Composition MUS-15 Jan Dreier July 6, 2015 1 Introduction The goal of algorithmic music composition is to automate the process of creating music. One wants to create pleasant music without
More informationTowards Culturally-Situated Agent Which Can Detect Cultural Differences
Towards Culturally-Situated Agent Which Can Detect Cultural Differences Heeryon Cho 1, Naomi Yamashita 2, and Toru Ishida 1 1 Department of Social Informatics, Kyoto University, Kyoto 606-8501, Japan cho@ai.soc.i.kyoto-u.ac.jp,
More informationEfficient Processing the Braille Music Notation
Efficient Processing the Braille Music Notation Tomasz Sitarek and Wladyslaw Homenda Faculty of Mathematics and Information Science Warsaw University of Technology Plac Politechniki 1, 00-660 Warsaw, Poland
More informationON THE ACCEPTABILITY OF ARGUMENTS AND ITS FUNDAMENTAL ROLE IN NONMONOTONIC REASONING AND LOGIC PROGRAMMING
ON THE ACCEPTABILITY OF ARGUMENTS AND ITS FUNDAMENTAL ROLE IN NONMONOTONIC REASONING AND LOGIC PROGRAMMING Phan Minh Dung Division of Computer Science, Asian Institute of Technology PO Box 2754, Bangkok
More informationKnowledge Representation
! Knowledge Representation " Concise representation of knowledge that is manipulatable in software.! Types of Knowledge " Declarative knowledge (facts) " Procedural knowledge (how to do something) " Analogous
More informationEtna Builder - Interactively Building Advanced Graphical Tree Representations of Music
Etna Builder - Interactively Building Advanced Graphical Tree Representations of Music Wolfgang Chico-Töpfer SAS Institute GmbH In der Neckarhelle 162 D-69118 Heidelberg e-mail: woccnews@web.de Etna Builder
More informationExamination of a simple pulse blanking technique for RFI mitigation
Examination of a simple pulse blanking technique for RFI mitigation N. Niamsuwan, J.T. Johnson The Ohio State University S.W. Ellingson Virginia Tech RFI2004 Workshop, Penticton, BC, Canada Jul 16, 2004
More informationPART A - Project summary
PART A - Project summary A.1 Project identification Programme priority Programme priority specific objective Project acronym Project title ems Project Number Name of the lead partner organisation/original
More informationA Functional Representation of Fuzzy Preferences
Forthcoming on Theoretical Economics Letters A Functional Representation of Fuzzy Preferences Susheng Wang 1 October 2016 Abstract: This paper defines a well-behaved fuzzy order and finds a simple functional
More informationFormalizing Irony with Doxastic Logic
Formalizing Irony with Doxastic Logic WANG ZHONGQUAN National University of Singapore April 22, 2015 1 Introduction Verbal irony is a fundamental rhetoric device in human communication. It is often characterized
More informationA general framework for constructive learning preference elicitation in multiple criteria decision aid
A general framework for constructive learning preference elicitation in multiple criteria decision aid Vincent Mousseau March 17, 2005 LAMSADE, Université Paris-Dauphine, Place du Maréchal De Lattre de
More informationWITHOUT QUALIFICATION: AN INQUIRY INTO THE SECUNDUM QUID
STUDIES IN LOGIC, GRAMMAR AND RHETORIC 36(49) 2014 DOI: 10.2478/slgr-2014-0008 David Botting Universidade Nova de Lisboa WITHOUT QUALIFICATION: AN INQUIRY INTO THE SECUNDUM QUID Abstract. In this paper
More informationTO BE PUBLISHED IN THE GAZETTE OF INDIA, EXTRAORDINARY, PART III, SECTION 4 TELECOM REGULATORY AUTHORITY OF INDIA
TO BE PUBLISHED IN THE GAZETTE OF INDIA, EXTRAORDINARY, PART III, SECTION 4 TELECOM REGULATORY AUTHORITY OF INDIA THE TELECOMMUNICATION (BROADCASTING AND CABLE SERVICES) INTERCONNECTION (DIGITAL ADDRESSABLE
More informationAccelerating Smart Play-Out
Accelerating Smart Play-Out David Harel 1, Hillel Kugler 2, Shahar Maoz 1, and Itai Segall 1 1 The Weizmann Institute of Science, Israel {dharel,shahar.maoz,itai.segall}@weizmann.ac.il 2 Microsoft Research,
More informationPrivacy Level Indicating Data Leakage Prevention System
Privacy Level Indicating Data Leakage Prevention System Jinhyung Kim, Jun Hwang and Hyung-Jong Kim* Department of Computer Science, Seoul Women s University {jinny, hjun, hkim*}@swu.ac.kr Abstract As private
More informationPossible Ramifications for Superiority
1 Possible Ramifications for Superiority 1. Superiority up to semantic equivalence (Golan 1993) (1) Who knows what who bought? (Lasnik and Saito 1992) Good but only when em Attract Closest bedded who receives
More informationA Dynamic Heuristic Broadcasting Protocol for Video-on-Demand
Proc.21 st International Conference on Distributed Computing Systems, Mesa, Arizona, April 2001. A Dynamic Heuristic Broadcasting Protocol for Video-on-Demand Scott R. Carter Jehan-François Pâris Saurabh
More informationCryptanalysis of LILI-128
Cryptanalysis of LILI-128 Steve Babbage Vodafone Ltd, Newbury, UK 22 nd January 2001 Abstract: LILI-128 is a stream cipher that was submitted to NESSIE. Strangely, the designers do not really seem to have
More informationINTER GENRE SIMILARITY MODELLING FOR AUTOMATIC MUSIC GENRE CLASSIFICATION
INTER GENRE SIMILARITY MODELLING FOR AUTOMATIC MUSIC GENRE CLASSIFICATION ULAŞ BAĞCI AND ENGIN ERZIN arxiv:0907.3220v1 [cs.sd] 18 Jul 2009 ABSTRACT. Music genre classification is an essential tool for
More informationPRO LIGNO Vol. 12 N pp
METHODS FOR DETERMINING THE AESTHETIC APPEAL OF FURNITURE Mária Réka ANTAL PhD, Assistant Professor - University of West Hungary Address: Bajcsy Zs. st., nr.4, 9400 Sopron, Hungary E-mail: reka.maria.antal@skk.nyme.hu
More informationSwitchover to Digital Broadcasting
Switchover to Digital Broadcasting Enio Haxhimihali INTRO EU countries have progressed in their implementation of digital networks and switch-off of analogue broadcasting. Most of them have now switched
More informationConstructive Adaptive User Interfaces Composing Music Based on Human Feelings
From: AAAI02 Proceedings. Copyright 2002, AAAI (www.aaai.org). All rights reserved. Constructive Adaptive User Interfaces Composing Music Based on Human Feelings Masayuki Numao, Shoichi Takagi, and Keisuke
More informationSome Experiments in Humour Recognition Using the Italian Wikiquote Collection
Some Experiments in Humour Recognition Using the Italian Wikiquote Collection Davide Buscaldi and Paolo Rosso Dpto. de Sistemas Informáticos y Computación (DSIC), Universidad Politécnica de Valencia, Spain
More informationOn the Characterization of Distributed Virtual Environment Systems
On the Characterization of Distributed Virtual Environment Systems P. Morillo, J. M. Orduña, M. Fernández and J. Duato Departamento de Informática. Universidad de Valencia. SPAIN DISCA. Universidad Politécnica
More informationComputer Coordination With Popular Music: A New Research Agenda 1
Computer Coordination With Popular Music: A New Research Agenda 1 Roger B. Dannenberg roger.dannenberg@cs.cmu.edu http://www.cs.cmu.edu/~rbd School of Computer Science Carnegie Mellon University Pittsburgh,
More information1.2 The NAB is the leading representative of South Africa s broadcasting industry representing:
1. INTRODUCTION 1.1 On 26 April 2001, ICASA, in terms of section 31 (5) of the IBA Act, 1993, invited interested parties to give written input on the draft broadcast frequency plan ( draft plan ) and policy
More informationAnalysis of Business Processes with Enterprise Ontology and Process Mining
Analysis of Business Processes with Enterprise Ontology and Process Mining Artur Caetano, Pedro Pinto, Carlos Mendes, Miguel Mira da Silva, José Borbinha INESC-ID & IST, University of Lisbon, Portugal
More information1. Introduction. Abstract. 1.1 Logic Criteria
An Evaluation of the Minimal-MUMCUT Logic Criterion and Prime Path Coverage Garrett Kaminski, Upsorn Praphamontripong, Paul Ammann, Jeff Offutt Computer Science Department, George Mason University, Fairfax,
More informationBulgarian Folk Songs in a Digital Library
Bulgarian Folk Songs in a Digital Library Lozanka Peycheva 1, Nikolay Kirov 2,3 1 Institute for Ethnology and Folklore Studies with Ethnographic Museum, Bulgarian Academy of Sciences, Moskovska Str. 6A,
More informationKey-based scrambling for secure image communication
University of Wollongong Research Online Faculty of Engineering and Information Sciences - Papers: Part A Faculty of Engineering and Information Sciences 2012 Key-based scrambling for secure image communication
More informationChildren s Television Standards
Children s Television Standards 2009 1 The AUSTRALIAN COMMUNICATIONS AND MEDIA AUTHORITY makes these Standards under subsection 122 (1) of the Broadcasting Services Act 1992. Dated 2009 Member Member Australian
More informationWhen does the Washington DC Independent Film Festival (DCIFF) take place? Where does the Washington DC Independent Film Festival (DCIFF) take place?
Filmmaker FAQ THE FESTIVAL When does the Washington DC Independent Film Festival (DCIFF) take place? The 19th annual DCIFF will take place February 14th-19th, 2018. Where does the Washington DC Independent
More informationTranformation of Scholarly Publishing in the Digital Era: Scholars Point of View
Original scientific paper Tranformation of Scholarly Publishing in the Digital Era: Scholars Point of View Summary Radovan Vrana Department of Information Sciences, Faculty of Humanities and Social Sciences,
More informationMore Digital Circuits
More Digital Circuits 1 Signals and Waveforms: Showing Time & Grouping 2 Signals and Waveforms: Circuit Delay 2 3 4 5 3 10 0 1 5 13 4 6 3 Sample Debugging Waveform 4 Type of Circuits Synchronous Digital
More informationCustom Coursepack Centre INFORMATION PACKAGE (2011)
Custom Coursepack Centre INFORMATION PACKAGE (2011) What is the Custom Coursepack Centre? A department of the Bookstore, partnered with Printing Services. We produce high quality customized coursepacks
More informationA Note on Analysis and Circular Definitions
A Note on Analysis and Circular Definitions Francesco Orilia Department of Philosophy, University of Macerata (Italy) Achille C. Varzi Department of Philosophy, Columbia University, New York (USA) (Published
More informationSystem Level Simulation of Scheduling Schemes for C-V2X Mode-3
1 System Level Simulation of Scheduling Schemes for C-V2X Mode-3 Luis F. Abanto-Leon, Arie Koppelaar, Chetan B. Math, Sonia Heemstra de Groot arxiv:1807.04822v1 [eess.sp] 12 Jul 2018 Eindhoven University
More informationA Logical Approach for Melodic Variations
A Logical Approach for Melodic Variations Flavio Omar Everardo Pérez Departamento de Computación, Electrónica y Mecantrónica Universidad de las Américas Puebla Sta Catarina Mártir Cholula, Puebla, México
More informationA CASCADABLE VLSI DESIGN FOR GENET
Proc., Int l Workshop on VLSI for NN & AI, 1992 page 0 A CASCADABLE VLSI DESIGN FOR GENET Chang J. Wang and Edward P. K. Tsang Abstract Constraint Satisfaction Problems (CSPs) are at the heart of many
More informationUsing Rules to support Case-Based Reasoning for harmonizing melodies
Using Rules to support Case-Based Reasoning for harmonizing melodies J. Sabater, J. L. Arcos, R. López de Mántaras Artificial Intelligence Research Institute (IIIA) Spanish National Research Council (CSIC)
More informationAutomatic Polyphonic Music Composition Using the EMILE and ABL Grammar Inductors *
Automatic Polyphonic Music Composition Using the EMILE and ABL Grammar Inductors * David Ortega-Pacheco and Hiram Calvo Centro de Investigación en Computación, Instituto Politécnico Nacional, Av. Juan
More informationAn optimal broadcasting protocol for mobile video-on-demand
An optimal broadcasting protocol for mobile video-on-demand Regant Y.S. Hung H.F. Ting Department of Computer Science The University of Hong Kong Pokfulam, Hong Kong Email: {yshung, hfting}@cs.hku.hk Abstract
More informationLaboratory 1 - Introduction to Digital Electronics and Lab Equipment (Logic Analyzers, Digital Oscilloscope, and FPGA-based Labkit)
Massachusetts Institute of Technology Department of Electrical Engineering and Computer Science 6. - Introductory Digital Systems Laboratory (Spring 006) Laboratory - Introduction to Digital Electronics
More informationKees van Deemter: Not Exactly: In Praise of Vagueness
Minds & Machines DOI 10.1007/s11023-011-9251-1 Kees van Deemter: Not Exactly: In Praise of Vagueness Oxford University Press, Oxford, 2010, xvi+341, $29.95, ISBN: 0-199-5459-01 Patrick Allo Ó Springer
More informationConceptions and Context as a Fundament for the Representation of Knowledge Artifacts
Conceptions and Context as a Fundament for the Representation of Knowledge Artifacts Thomas KARBE FLP, Technische Universität Berlin Berlin, 10587, Germany ABSTRACT It is a well-known fact that knowledge
More informationDigital Switchover Management of Transition Coverage Issues Statement
Digital Switchover Management of Transition Coverage Issues Statement Statement Publication date: 16 May 2007 Contents Section Annex Page 1 Summary 1 2 Introduction 2 3 Comments received on the revised
More informationControlling Peak Power During Scan Testing
Controlling Peak Power During Scan Testing Ranganathan Sankaralingam and Nur A. Touba Computer Engineering Research Center Department of Electrical and Computer Engineering University of Texas, Austin,
More informationORTHOGONAL frequency division multiplexing
IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 55, NO. 12, DECEMBER 2009 5445 Dynamic Allocation of Subcarriers and Transmit Powers in an OFDMA Cellular Network Stephen Vaughan Hanly, Member, IEEE, Lachlan
More informationPRNANO Editorial Policy Version
We are signatories to the San Francisco Declaration on Research Assessment (DORA) http://www.ascb.org/dora/ and support its aims to improve how the quality of research is evaluated. Bibliometrics can be
More informationLow Power Illinois Scan Architecture for Simultaneous Power and Test Data Volume Reduction
Low Illinois Scan Architecture for Simultaneous and Test Data Volume Anshuman Chandra, Felix Ng and Rohit Kapur Synopsys, Inc., 7 E. Middlefield Rd., Mountain View, CA Abstract We present Low Illinois
More informationNo Reference, Fuzzy Weighted Unsharp Masking Based DCT Interpolation for Better 2-D Up-sampling
No Reference, Fuzzy Weighted Unsharp Masking Based DCT Interpolation for Better 2-D Up-sampling Aditya Acharya Dept. of Electronics and Communication Engineering National Institute of Technology Rourkela-769008,
More informationPreservation Programmes at the National Library Board, Singapore (Paper to be presented at the CDNL-AO Meeting in Bali, 8 May 07)
Preservation Programmes at the National Library Board, Singapore (Paper to be presented at the CDNL-AO Meeting in Bali, 8 May 07) Mohamed Bin Salim Manager, Professional Services National Library Board
More informationSection 6.8 Synthesis of Sequential Logic Page 1 of 8
Section 6.8 Synthesis of Sequential Logic Page of 8 6.8 Synthesis of Sequential Logic Steps:. Given a description (usually in words), develop the state diagram. 2. Convert the state diagram to a next-state
More informationNetNeg: A Connectionist-Agent Integrated System for Representing Musical Knowledge
From: AAAI Technical Report SS-99-05. Compilation copyright 1999, AAAI (www.aaai.org). All rights reserved. NetNeg: A Connectionist-Agent Integrated System for Representing Musical Knowledge Dan Gang and
More informationLOW-BUDGET INDEPENDENT FEATURE FILM ASSISTANCE PROGRAM GUIDELINES FOR
LOW-BUDGET INDEPENDENT FEATURE FILM ASSISTANCE PROGRAM GUIDELINES FOR 2002-2003 These Guidelines are specific to the terms and conditions of the program for the fiscal year of 2002-2003 (which ends on
More informationTriune Continuum Paradigm and Problems of UML Semantics
Triune Continuum Paradigm and Problems of UML Semantics Andrey Naumenko, Alain Wegmann Laboratory of Systemic Modeling, Swiss Federal Institute of Technology Lausanne. EPFL-IC-LAMS, CH-1015 Lausanne, Switzerland
More informationA. Introduction 1. Title: Automatic Underfrequency Load Shedding Requirements
DRAFT 6 V4 Standard PRC-006- RFC-01 01/11/11 A. Introduction 1. Title: Automatic Underfrequency Load Shedding Requirements Deleted: Deleted: 10 Deleted: 20 9 2. Number: PRC 006 RFC 01. Purpose: To establish
More informationExploiting Cross-Document Relations for Multi-document Evolving Summarization
Exploiting Cross-Document Relations for Multi-document Evolving Summarization Stergos D. Afantenos 1, Irene Doura 2, Eleni Kapellou 2, and Vangelis Karkaletsis 1 1 Software and Knowledge Engineering Laboratory
More informationIntro to Pragmatics (Fox/Menéndez-Benito) 10/12/06. Questions 1
Questions 1 0. Questions and pragmatics Why look at questions in a pragmatics class? where there are questions, there are, fortunately, also answers. And a satisfactory theory of interrogatives will have
More informationII. SYSTEM MODEL In a single cell, an access point and multiple wireless terminals are located. We only consider the downlink
Subcarrier allocation for variable bit rate video streams in wireless OFDM systems James Gross, Jirka Klaue, Holger Karl, Adam Wolisz TU Berlin, Einsteinufer 25, 1587 Berlin, Germany {gross,jklaue,karl,wolisz}@ee.tu-berlin.de
More informationMelody classification using patterns
Melody classification using patterns Darrell Conklin Department of Computing City University London United Kingdom conklin@city.ac.uk Abstract. A new method for symbolic music classification is proposed,
More informationA Design Language Based Approach
A Design Language Based Approach to Test Sequence Generation Fredrick J. Hill University of Arizona Ben Huey University of Oklahoma Introduction There are two important advantages inherent in test sequence
More informationInterface Practices Subcommittee SCTE STANDARD SCTE Composite Distortion Measurements (CSO & CTB)
Interface Practices Subcommittee SCTE STANDARD Composite Distortion Measurements (CSO & CTB) NOTICE The Society of Cable Telecommunications Engineers (SCTE) / International Society of Broadband Experts
More informationChapter 2 Christopher Alexander s Nature of Order
Chapter 2 Christopher Alexander s Nature of Order Christopher Alexander is an oft-referenced icon for the concept of patterns in programming languages and design [1 3]. Alexander himself set forth his
More information2. Dates: Kew Gardens Festival of Cinema will take place from August 3, 2018 to August 12, 2018
Rules & Regulations Entry Rules and Regulations 1. Objectives: Our Mission is to celebrate the art of filmmaking and the contribution of filmmakers by hosting an international film festival to support
More informationImproved Error Concealment Using Scene Information
Improved Error Concealment Using Scene Information Ye-Kui Wang 1, Miska M. Hannuksela 2, Kerem Caglar 1, and Moncef Gabbouj 3 1 Nokia Mobile Software, Tampere, Finland 2 Nokia Research Center, Tampere,
More informationInternational Journal of Emerging Technologies in Computational and Applied Sciences (IJETCAS)
International Association of Scientific Innovation and Research (IASIR) (An Association Unifying the Sciences, Engineering, and Applied Research) International Journal of Emerging Technologies in Computational
More informationFACILITIES STUDY MID AMERICAN TRANSMISSION SERVICE REQUESTS. OASIS Revision: 4
TRANSMISSION / DISTRIBUTION PROJECTS COMPANY:EAI CUSTOMER: MID AMERICAN ENERGY. FACILITIES STUDY EJO # F4PPAR0422 MID AMERICAN TRANSMISSION SERVICE REQUESTS OASIS 1468288 Revision: 4 Rev Issue Date Description
More informationBIBLIOMETRIC REPORT. Bibliometric analysis of Mälardalen University. Final Report - updated. April 28 th, 2014
BIBLIOMETRIC REPORT Bibliometric analysis of Mälardalen University Final Report - updated April 28 th, 2014 Bibliometric analysis of Mälardalen University Report for Mälardalen University Per Nyström PhD,
More informationIs Hegel s Logic Logical?
Is Hegel s Logic Logical? Sezen Altuğ ABSTRACT This paper is written in order to analyze the differences between formal logic and Hegel s system of logic and to compare them in terms of the trueness, the
More informationHeterogeneous BDI Agents I: Bold Agents
From: FLAIRS-01 Proceedings. Copyright 2001, AAAI (www.aaai.org). All rights reserved. Heterogeneous BDI Agents I: Bold Agents Maria Fasli University of Essex Department of Computer Science Wivenhoe Park,
More informationREDUCING DYNAMIC POWER BY PULSED LATCH AND MULTIPLE PULSE GENERATOR IN CLOCKTREE
Available Online at www.ijcsmc.com International Journal of Computer Science and Mobile Computing A Monthly Journal of Computer Science and Information Technology IJCSMC, Vol. 3, Issue. 5, May 2014, pg.210
More informationConsultation on the allocation of LCN 7. Published: Wednesday, 16 December 2015
Consultation on the allocation of LCN 7 Published: Wednesday, 16 December 2015 Responses by: Friday, 22 January 2016 CONTENTS 1 Introduction... 3 2 Background... 3 2.1 BBC Trust decision... 3 2.2 Provisions
More informationDS1, T1 and E1 Glossary
DS1, T1 and E1 Glossary Document ID: 25540 Contents Introduction Prerequisites Requirements Components Used Conventions T1/E1 Terms Error Events Performance Defects Performance Parameters Failure States
More information22/9/2013. Acknowledgement. Outline of the Lecture. What is an Agent? EH2750 Computer Applications in Power Systems, Advanced Course. output.
Acknowledgement EH2750 Computer Applications in Power Systems, Advanced Course. Lecture 2 These slides are based largely on a set of slides provided by: Professor Rosenschein of the Hebrew University Jerusalem,
More informationS6-R READER. Installation and Operating Instructions
Installation and Operating Instructions The information provided in these installation instructions may be modified without prior notification. All previous versions cease to be valid with the publication
More informationThe Ontological Level
revised version - January 2, 1994 The Ontological Level Nicola Guarino 1. Introduction In 1979, Ron Brachman discussed a classification of the various primitives used by KR systems at that time 1. He argued
More informationCSC384: Intro to Artificial Intelligence Knowledge Representation IV
CSC384: Intro to Artificial Intelligence Knowledge Representation IV Answer Extraction Factoring (optional, not on Test 2) Prolog (not on Test 2) Review: One more example (do it yourself) 1 Answer Extraction.
More informationOutline. Introduction to number systems: sign/magnitude, ones complement, twos complement Review of latches, flip flops, counters
Outline Last time: Introuction to number systems: sign/magnitue, ones complement, twos complement Review of latches, flip flops, counters This lecture: Review Tables & Transition Diagrams Implementation
More informationSWITCH: Microcontroller Touch-switch Design & Test (Part 2)
SWITCH: Microcontroller Touch-switch Design & Test (Part 2) 2 nd Year Electronics Lab IMPERIAL COLLEGE LONDON v2.09 Table of Contents Equipment... 2 Aims... 2 Objectives... 2 Recommended Timetable... 2
More informationResearch Article. ISSN (Print) *Corresponding author Shireen Fathima
Scholars Journal of Engineering and Technology (SJET) Sch. J. Eng. Tech., 2014; 2(4C):613-620 Scholars Academic and Scientific Publisher (An International Publisher for Academic and Scientific Resources)
More informationPower-Driven Flip-Flop p Merging and Relocation. Shao-Huan Wang Yu-Yi Liang Tien-Yu Kuo Wai-Kei Tsing Hua University
Power-Driven Flip-Flop p Merging g and Relocation Shao-Huan Wang Yu-Yi Liang Tien-Yu Kuo Wai-Kei Mak @National Tsing Hua University Outline Introduction Problem Formulation Algorithms Experimental Results
More informationDepartment of Electrical & Electronic Engineering Imperial College of Science, Technology and Medicine. Project: Real-Time Speech Enhancement
Department of Electrical & Electronic Engineering Imperial College of Science, Technology and Medicine Project: Real-Time Speech Enhancement Introduction Telephones are increasingly being used in noisy
More informationHIGH PERFORMANCE AND LOW POWER ASYNCHRONOUS DATA SAMPLING WITH POWER GATED DOUBLE EDGE TRIGGERED FLIP-FLOP
HIGH PERFORMANCE AND LOW POWER ASYNCHRONOUS DATA SAMPLING WITH POWER GATED DOUBLE EDGE TRIGGERED FLIP-FLOP 1 R.Ramya, 2 C.Hamsaveni 1,2 PG Scholar, Department of ECE, Hindusthan Institute Of Technology,
More informationGrowing Music: musical interpretations of L-Systems
Growing Music: musical interpretations of L-Systems Peter Worth, Susan Stepney Department of Computer Science, University of York, York YO10 5DD, UK Abstract. L-systems are parallel generative grammars,
More informationPlanning Tool of Point to Poin Optical Communication Links
Planning Tool of Point to Poin Optical Communication Links João Neto Cordeiro (1) (1) IST-Universidade de Lisboa, Av. Rovisco Pais, 1049-001 Lisboa e-mail: joao.neto.cordeiro@ist.utl.pt; Abstract The use
More informationCanada Gazette - Industry Canada Notice SMBR : DTV (Digital Television) Transition Allotment Plan
September 11, 1998 Mr. Robert W. McCaughern Director General, Spectrum Engineering Branch Industry Canada 300 Slater Street Ottawa, ON K1A 0C8 Re: Canada Gazette - Industry Canada Notice SMBR-002-98: DTV
More informationProblem Set 8. MIT students: Each problem should be done on a separate sheet (or sheets) of three-hole punched paper.
Introduction to Algorithms Day 26 Massachusetts Institute of Technology 6.046J/18.410J Singapore-MIT Alliance SMA5503 Professors Erik Demaine, Lee Wee Sun, and Charles E. Leiserson Handout 27 Problem Set
More informationMotion Picture, Video and Television Program Production, Post-Production and Distribution Activities
The 31 th Voorburg Group Meeting Zagreb Croatia 19-23 September 2016 Mini-Presentation SPPI for ISIC4 Group 591 Motion Picture, Video and Television Program Production, Post-Production and Distribution
More informationMeaning Machines CS 672 Deictic Representations (3) Matthew Stone THE VILLAGE
Meaning Machines CS 672 Deictic Representations (3) Matthew Stone THE VILLAGE Department of Computer Science Center for Cognitive Science Rutgers University Agenda Pylyshyn on visual indices Iris Implementing
More informationOfficial Journal of the European Union L 117/95
11.5.2010 Official Journal of the European Union L 117/95 COMMISSION DECISION of 6 May 2010 on harmonised technical conditions of use in the 790-862 MHz frequency band for terrestrial systems capable of
More informationAn Interactive Broadcasting Protocol for Video-on-Demand
An Interactive Broadcasting Protocol for Video-on-Demand Jehan-François Pâris Department of Computer Science University of Houston Houston, TX 7724-3475 paris@acm.org Abstract Broadcasting protocols reduce
More informationImplementation and Evaluation of Real-Time Interactive User Interface Design in Self-learning Singing Pitch Training Apps
Implementation and Evaluation of Real-Time Interactive User Interface Design in Self-learning Singing Pitch Training Apps Kin Wah Edward Lin, Hans Anderson, M.H.M. Hamzeen, Simon Lui Singapore University
More informationPower Problems in VLSI Circuit Testing
Power Problems in VLSI Circuit Testing Farhana Rashid and Vishwani D. Agrawal Auburn University Department of Electrical and Computer Engineering 200 Broun Hall, Auburn, AL 36849 USA fzr0001@tigermail.auburn.edu,
More informationMelodic Outline Extraction Method for Non-note-level Melody Editing
Melodic Outline Extraction Method for Non-note-level Melody Editing Yuichi Tsuchiya Nihon University tsuchiya@kthrlab.jp Tetsuro Kitahara Nihon University kitahara@kthrlab.jp ABSTRACT In this paper, we
More informationAudio-Based Video Editing with Two-Channel Microphone
Audio-Based Video Editing with Two-Channel Microphone Tetsuya Takiguchi Organization of Advanced Science and Technology Kobe University, Japan takigu@kobe-u.ac.jp Yasuo Ariki Organization of Advanced Science
More informationSouth Australian Energy Transformation
South Australian Energy Transformation PSCR Supplementary Information Paper ElectraNet Corporate Headquarters 52-55 East Terrace, Adelaide, South Australia 5000 PO Box 7096, Hutt Street Post Office, Adelaide,
More informationMultidimensional analysis of interdependence in a string quartet
International Symposium on Performance Science The Author 2013 ISBN tbc All rights reserved Multidimensional analysis of interdependence in a string quartet Panos Papiotis 1, Marco Marchini 1, and Esteban
More informationCHAPTER I INTRODUCTION
CHAPTER I INTRODUCTION This chapter covers the background of the study, the scope of the study, research questions, the aims of the study, research method overview, significance of the study, clarification
More information... A Pseudo-Statistical Approach to Commercial Boundary Detection. Prasanna V Rangarajan Dept of Electrical Engineering Columbia University
A Pseudo-Statistical Approach to Commercial Boundary Detection........ Prasanna V Rangarajan Dept of Electrical Engineering Columbia University pvr2001@columbia.edu 1. Introduction Searching and browsing
More information