A Petri net approach for propagating probabilities and mass functions
暂无分享,去创建一个
[1] Richard E. Neapolitan,et al. Probabilistic reasoning in expert systems - theory and algorithms , 2012 .
[2] Rüdiger Grimm,et al. Anforderungsanalyse für Risk-Management-Informationssysteme (RMIS) , 2009 .
[3] Toshiaki Arai,et al. Hybrid State Machines with Timed Synchronization for Multi-Robot System Specification , 2005, 2005 portuguese conference on artificial intelligence.
[4] Sebastian Magnus,et al. A public key infrastructure in ambient information and transaction systems , 2010 .
[5] Rudolf Kruse,et al. Uncertainty and vagueness in knowledge based systems: numerical methods , 1991, Artificial intelligence.
[6] Stefan Stein,et al. Entwicklung einer Architektur für komplexe kontextbezogene Dienste im mobilen Umfeld , 2008 .
[7] Steffen Staab,et al. Querying for meta knowledge , 2008, WWW.
[8] Philipp Schaer,et al. State-of-the-Art: Interaktion in Erweiterten Realitäten , 2007 .
[9] Jürgen Ebert,et al. A first proposal for an overall structure of an enhanced reality framework , 2007 .
[10] Kurt Lautenbach,et al. Logical Reasoning and Petri Nets , 2003, ICATPN.
[11] Rüdiger Grimm,et al. Rollenbasierte Zugriffskontrolle (RBAC) im Gesundheitswesen , 2007 .
[12] Christoph Wernhard,et al. Tableaux between proving, projection and compilation , 2007 .
[13] David Poole,et al. Probabilistic Horn Abduction and Bayesian Networks , 1993, Artif. Intell..
[14] Steffen Staab,et al. Networked RDF graphs , 2007 .
[15] Prakash P. Shenoy,et al. Local Computation in Hypertrees , 1991 .
[16] Sebastian Magnus,et al. Konzept einer public key infrastruktur in iCity , 2010 .
[17] Luis Enrique Sucar,et al. Introduction to Bayesian Networks and Influence Diagrams , 2012 .
[18] Sylvia Valcárcel,et al. Ein Stufenmodell für kollaborative offene Innovationsprozesse in Netzwerken kleiner und mittlerer Unternehmen mit Web 2.0 , 2010 .
[19] Kurt Lautenbach,et al. The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets , 1979, Semantics of Concurrent Computation.
[20] Mario Schaarschmidt,et al. Social networking platforms as creativity fostering systems: research model and exploratory study , 2008 .
[21] Lutz Priese,et al. Some Examples of Semi-rational and Non-semi-rational DAG Languages , 2006 .
[22] Frank Klawonn,et al. On a Tool for Reasoning with Mass Distributions , 1991, IJCAI.
[23] Hartmann J. Genrich. Predicate/transition nets , 1987 .
[24] Steffen Staab,et al. Does a semantic desktop facilitate your daily tasks , 2008 .
[25] Kurt Lautenbach,et al. Probability propagation nets , 2007 .
[26] Masaki Ogino,et al. Getting closer: How Simulation and Humanoid League can benefit from each other , 2005, AMiRE.
[27] Finn Verner Jensen,et al. Introduction to Bayesian Networks , 2008, Innovations in Bayesian Networks.
[28] Fachbereich Informatik,et al. Finite Automata on Unranked and Unordered DAGs Extented Version , 2007 .
[29] Harald F. O. von Kortzfleisch,et al. Shared Annotation Model - Ein Datenmodell für kollaborative Annotationen , 2010 .
[30] Sebastian Magnus,et al. An Empirical Study to Evaluate the An Empirical Study to Evaluate the Location of Advertisement Panels by Location of Advertisement Panels by Using a Mobile Marketing Tool Using a Mobile Marketing Tool , 2009 .
[31] Rüdiger Grimm,et al. Lehramtsbezogene Bachelor- und Masterstudiengänge im Fach Informatik an der Universität Koblenz-Landau, Campus Koblenz , 2008 .
[32] Frank Klawonn,et al. Reasoning with Mass Distributions , 1991, UAI.
[33] Achim Rettinger,et al. Intelligent exploration for genetic algorithms: using self-organizing maps in evolutionary computation , 2008, GECCO '05.
[34] Melanie Volkamer,et al. Security Requirements for Non-political Internet Voting , 2006, Electronic Voting.
[35] Ulrich Furbach,et al. Applications of Automated Reasoning , 2006, KI.
[36] Peter Baumgartner,et al. Hyper Tableaux with Equality , 2007, CADE.
[37] Anastasia Meletiadou,et al. Begriffsbestimmung und erwartete Trends im IT-Risk-Management , 2007 .
[38] Ulrich Furbach,et al. Verification using Hybrid Automata Verification using Hybrid Automata , 2009 .
[39] Steffen Staab,et al. Collaborative creation of semantic points of interest as linked data on the mobile phone , 2010 .
[40] Rüdiger Grimm,et al. Entwurf eines Common Criteria-Schutzprofils für Router zur Abwehr von Online-Überwachung , 2009 .
[41] Dietrich Paulus,et al. Methods for polyp detection in colonoscopy videos: a review , 2008 .
[42] Steffen Staab,et al. A model of events based on a foundational ontology , 2009 .
[43] B. Meyer,et al. Tests and Proofs : Papers Presented at the Second International Conference TAP 2008 Prato , Italy , April 2008 , 2008 .
[44] Steffen Staab,et al. Adding Formal Semantics to MPEG-7: Designing a Well-Founded Multimedia Ontology for the Web , 2007 .
[45] Petra Schubert,et al. Open-Source-Software für das Enterprise Resource Planning , 2009 .
[46] Steffen Staab,et al. PAPEL: Syntax and Semantics for Provenance-Aware Policy Definition , 2010 .
[47] Frieder Stolzenburg,et al. Using Constraint Logic Programming for Modeling and Verifying Hierarchical Hybrid Automata , 2009 .
[48] Kurt Lautenbach,et al. A Petri net representation of Bayesian message flows: importance of Bayesian networks for biological applications , 2009, Natural Computing.
[49] Joachim Baumeister,et al. Knowledge Engineering and Software Engineering , 2005 .
[50] Ansgar Scherp,et al. Integration of Existing Multimedia Metadata Formats and Metadata Standards in the M3O , 2010, SAMT.
[51] Andreas Winter,et al. Metamodel-driven Service Interoperability , 2005 .
[52] Kurt Lautenbach,et al. S-Invariance in Predicate/Transition Nets , 1982, European Workshop on Applications and Theory of Petri Nets.
[53] Oliver Obst,et al. HTN Planning for Flexible Coordination Of Multiagent Team Behavior , 2005 .
[54] Frank Schmitt,et al. BMBF-Verbundprojekt 3D-RETISEG , 2007 .
[55] Judea Pearl,et al. Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.
[56] Claudia Schon,et al. Linkless normal form for ALC concepts , 2010 .
[57] Steffen Staab,et al. Unterstützung und Dokumentation kollaborativer Entwurfs- und Entscheidungsprozesse , 2008 .
[58] R. Kruse,et al. SPECIALIZATION—A NEW CONCEPT FOR UNCERTAINTY HANDLING WITH BELIEF FUNCTIONS , 1990 .
[59] Steffen Staab,et al. Model-driven Generation of APIs for OWL-based Ontologies , 2010 .
[60] Harald F. O. von Korflesch,et al. Modularität als alternative Technologie- und Innovationsstrategie , 2007 .
[61] M. Santos,et al. Einsatz von "Shared In-situ Problem Solving" Annotationen in kollaborativen Lern- und Arbeitsszenarien , 2010 .
[62] Jürgen Ebert,et al. Web Engineering does profit from a Functional Approach , 2005 .
[63] Steffen Staab,et al. Integrated mobile visualization and interaction of events and POIs , 2010, ACM Multimedia.
[64] Kevin Read,et al. CAMPUS NEWS - Artificial Intelligence Methods Combined for an Intelligent Information Network , 2007, AmI Workshops.
[65] Jürgen Ebert,et al. Ein Referenzschema für die Sprachen der IEC 61131 , 2008 .
[66] Kurt Lautenbach,et al. Reproducibility of the Empty Marking , 2002, ICATPN.
[67] Ansgar Scherp,et al. Unlocking the semantics of multimedia presentations in the web with the multimedia metadata ontology , 2010, WWW '10.
[68] Jürgen Ebert,et al. The STOR component system interim report , 2009 .
[69] Lutz Priese,et al. Automatische See-Through Kalibrierung , 2007 .
[70] Ulrich Furbach,et al. Knowledge Compilation for Description Logics , 2007, KESE.
[71] Ulrich Furbach,et al. Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking , 2007, PROMAS.
[72] Categorization and recognition of ontology refactoring pattern , 2010 .
[73] Jörg Rudolf Müller. Dualität und Analyse von formalen Modellen: Prädikat/Transitions-Netze und ihr Bezug zur linearen Algebra , 2004 .
[74] Andreas von Hessling. Semantic User Profiles and their Applications in a Mobile Environment , 2004 .