Towards a Mapping from ERDF(S) to Take Vocabulary

A digital system simulation apparatus and method enable a user to interactively control, during simulation, the sampling of signals in the digital system whose behavior is being simulated. The behavior of the system can be approximated better by recognizing and allowing a precise definition of element outputs even though the element inputs can include undefined variables. The apparatus allows efficient and better utilization of system memories by providing the capability of defining multiple outputs of the circuit elements in a single instruction when those outputs all have common inputs.

[1]  Alistair Sutcliffe,et al.  Scenario-based requirements analysis , 1998, Requirements Engineering.

[2]  Douglas Walton,et al.  Can Argumentation Help AI to Understand Explanation? , 2008, Künstliche Intell..

[3]  Kerstin Bach docQuery - A Medical Information System for Travellers , 2007 .

[4]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[5]  not Cwi,et al.  RDFa Primer, Embedding Structured Data in Web Pages , 2007 .

[6]  Padraig Cunningham,et al.  An incremental retrieval mechanism for case-based electronic fault diagnosis , 1998, Knowl. Based Syst..

[7]  Lynne E. Parker,et al.  ALLIANCE: an architecture for fault tolerant multirobot cooperation , 1998, IEEE Trans. Robotics Autom..

[8]  Christoph Peylo Wissen und Wissensvermittlung im Kontext von internetbasierten intelligenten Lehr- und Lernumgebungen , 2002, DISKI.

[9]  Igor Wojnicki,et al.  Concept of an Interactive Web Portal for Teaching Prolog , 2008, FLAIRS Conference.

[10]  J. Keystone,et al.  Body of knowledge for the practice of travel medicine. , 2006, Journal of travel medicine.

[11]  Roger C. Schank,et al.  SCRIPTS, PLANS, GOALS, AND UNDERSTANDING , 1988 .

[12]  Sebastian Schaffert,et al.  IkeWiki: A Semantic Wiki for Collaborative Knowledge Management , 2006, 15th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'06).

[13]  Michael Wooldridge,et al.  Model checking multi-agent systems with MABLE , 2002, AAMAS '02.

[14]  Julie A. Adams,et al.  Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence , 2001, AI Mag..

[15]  Tobias Kuhn,et al.  AceWiki: Collaborative Ontology Management in Controlled Natural Language , 2008, SemWiki.

[16]  David S. Janzen,et al.  Test-driven development concepts, taxonomy, and future direction , 2005, Computer.

[17]  Stefan Kuhlins,et al.  Toolkits for Generating Wrappers : A Survey of Software Toolkits for Automated Datat Extraction from Websites , 2003 .

[18]  Robert M. Colomb,et al.  Ontology and the Semantic Web , 2007, Frontiers in Artificial Intelligence and Applications.

[19]  William A. Woods,et al.  What's in a Link: Foundations for Semantic Networks , 1975 .

[20]  Barbara Messing,et al.  An Introduction to MultiAgent Systems , 2002, Künstliche Intell..

[21]  Frank Puppe,et al.  Web-Based Knowledge Engineering with Knowledge Wikis , 2008, AAAI Spring Symposium: Symbiotic Relationships between Semantic Web and Knowledge Engineering.

[22]  Klaus Schmid,et al.  Software product lines in action - the best industrial practice in product line engineering , 2007 .

[23]  Ralph Bergmann,et al.  Selected Applications of the Structural Case-Based Reasoning Approach , 2003 .

[24]  David A. Ferrucci,et al.  UIMA: an architectural approach to unstructured information processing in the corporate research environment , 2004, Natural Language Engineering.

[25]  Klaus Pohl,et al.  Ableitung von Systemfunktionen aus Zielen und Szenarien , 2008, Softwaretechnik-Trends.

[26]  Sören Auer,et al.  OntoWiki: A Tool for Social, Semantic Collaboration , 2006, CKC.

[27]  Frank Puppe,et al.  Ad-Hoc Knowledge Engineering with Semantic Knowledge Wikis , 2008, SemWiki.

[28]  Igor Wojnicki,et al.  Using UML for Knowledge Engineering - A Critical Overview , 2007, KESE.

[29]  Gal A. Kaminka,et al.  Integration of Coordination Mechanisms in the BITE Multi-Robot Architecture , 2007, Proceedings 2007 IEEE International Conference on Robotics and Automation.

[30]  Chris Rupp,et al.  UML 2.0—Neue Möglichkeiten und alte Probleme , 2004, Informatik-Spektrum.

[31]  Jeremy J. Carroll,et al.  Resource description framework (rdf) concepts and abstract syntax , 2003 .

[32]  Frank Puppe,et al.  Using Automated Tests and Restructuring Methods for an Agile Development of Diagnostic Knowledge Systems , 2004, FLAIRS Conference.

[33]  Tirdad Rahmani,et al.  An User Interface Adaptation Architecture for Rich Internet Applications , 2008, ESWC.

[34]  Thilo Götz,et al.  Design and implementation of the UIMA Common Analysis System , 2004, IBM Syst. J..

[35]  Klaus-Dieter Althoff,et al.  Agent Based Maintenance for Modularised Case Bases in Collaborative Multi-Expert Systems , 2010 .

[36]  Gerd Wagner,et al.  HEINRICH HERRE, JAN JASPARS AND GERD WAGNER PARTIAL LOGICS WITH TWO KINDS OF NEGATION AS A FOUNDATION FOR KNOWLEDGE-BASED REASONING , 2006 .

[37]  Ingo Br,et al.  Prolog programming for artificial intelligence , 1990 .

[38]  Jens Dietrich,et al.  Take - A Rule Compiler for Derivation Rules , 2007, RuleML.

[39]  MylopoulosJohn,et al.  Incremental Iterative Retrieval and Browsingfor Efficient Conversational CBR Systems , 2000 .

[40]  J. F. Allaire,et al.  Macromedia Flash MX: A next-generation rich client , 2002 .

[41]  Roland Stühmer,et al.  From Business Rules to Application Rules in Rich Internet Applications , 2008, Scalable Comput. Pract. Exp..

[42]  Anni Coden,et al.  CFE-A System for Testing , Evaluation and Machine Learning of UIMA Based Applications , 2008 .

[43]  Alexander Ferrein,et al.  Approaching A Formal Soccer Theory FromBehaviour Specifi Cations In Robotic Soccer , 2008 .

[44]  T. Ishida,et al.  Introduction to Scenario Description Language Q , 2007, Second International Conference on Informatics Research for Development of Knowledge Society Infrastructure (ICKS'07).

[45]  Bernhard Bauer,et al.  Extending UML for agents , 2000 .

[46]  Donald Nute,et al.  Prolog Programming in Depth , 1988 .

[47]  Klaus-Dieter Althoff,et al.  A Domain Independent System Architecture for Sharing Experience , 2007, LWA.

[48]  J. Brandtstädter,et al.  The Aging Self: Stabilizing and Protective Processes , 1994 .

[49]  Thomas Müller,et al.  Learning to Cope with Critical Situations - A Simulation Model of Cognitive Processes using Multiagent Systems , 2007, LWA.

[50]  Martin Schaaf,et al.  Case Factory - Maintaining Experience to Learn , 2006, ECCBR.

[51]  Dan Brickley,et al.  Rdf vocabulary description language 1.0 : Rdf schema , 2004 .

[52]  Oskar von Stryk,et al.  Multi-Robot Systems Optimization and Analysis Using MILP and CLP ⁄ , 2008 .

[53]  Charles L. Forgy,et al.  Rete: a fast algorithm for the many pattern/many object pattern match problem , 1991 .

[54]  Toshiaki Arai,et al.  Multiagent systems specification by UML statecharts aiming at intelligent manufacturing , 2002, AAMAS '02.

[55]  Douglas E. Appelt,et al.  Introduction to Information Extraction , 1999, AI Commun..

[56]  Gerd Wagner,et al.  Extended RDF as a Semantic Foundation of Rule Markup Languages , 2008, J. Artif. Intell. Res..

[57]  Frank Puppe,et al.  Exploiting Background Knowledge for Knowledge-Intensive Subgroup Discovery , 2005, IJCAI.

[58]  Frank Puppe,et al.  KnowWE: community-based knowledge capture with knowledge wikis , 2007, K-CAP '07.

[59]  A. Stentz,et al.  Market-based Approaches for Coordination of Multi-robot Teams at Different Granularities of Interaction , 2004 .

[60]  Gerd Wagner,et al.  Stable Model Theory for Extended RDF Ontologies , 2005, SEMWEB.

[61]  Douglas Crockford,et al.  The application/json Media Type for JavaScript Object Notation (JSON) , 2006, RFC.

[62]  Klaus Pohl,et al.  The Co-Development of System Requirements and Functional Architecture , 2007 .

[63]  Mark T True,et al.  Software Requirements , 2005 .

[64]  Anastasia Analyti,et al.  ERDF Implementation and Evaluation , 2008 .

[65]  Carlos José Pereira de Lucena,et al.  A UML based approach for modeling and implementing multi-agent systems , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[66]  Georg Gottlob,et al.  Visual Web Information Extraction with Lixto , 2001, VLDB.

[67]  Christian Allmann,et al.  Situations- und szenariobasierte Entwicklung von Anforderungen in der technischen Entwicklung , 2008, Softwaretechnik-Trends.

[68]  Chanan Glezer,et al.  Automation of Facility Management Processes Using Machine-to-Machine Technologies , 2008, IOT.

[69]  Michael Redmond,et al.  Distributed Cases for Case-Based Reasoning: Facilitating Use of Multiple Cases , 1990, AAAI.

[70]  Ulrich Furbach,et al.  Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking , 2007, PROMAS.

[71]  W. Duncan A GUIDE TO THE PROJECT MANAGEMENT BODY OF KNOWLEDGE , 1996 .

[72]  Andrea Bonzano,et al.  An Incremental Case Retrieval Mechanism for Diagnosis , 1995 .

[73]  Vijay Kumar,et al.  Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination , 1999, World Congress on Formal Methods.

[74]  Laurie A. Williams,et al.  Assessing test-driven development at IBM , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..

[75]  Jesse James Garrett Ajax: A New Approach to Web Applications , 2007 .

[76]  Roger C. Schank,et al.  Inside case-based explanation , 1994, Artificial intelligence series.

[77]  Gerd Wagner,et al.  Negation and negative information in the W3C resource description framework , 2004 .