Business Process Management [[electronic resource] ] : 7th International Conference, BPM 2009, Ulm, Germany, September 8-10, 2009, Proceedings / / edited by Umeshwar Dayal, Johann Eder, Jana Koehler, Hajo A. Reijers |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XIII, 363 p.) |
Disciplina | 025.04 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Information storage and retrieval
Application software Data mining Management information systems Computer science Information technology Business—Data processing Information Storage and Retrieval Information Systems Applications (incl. Internet) Data Mining and Knowledge Discovery Management of Computing and Information Systems Computer Appl. in Administrative Data Processing IT in Business |
ISBN | 3-642-03848-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Editorial -- A Collaboration and Productiveness Analysis of the BPM Community -- Invited Talks -- BPM 3.0 -- Change in Control -- Scientific Workflows: Business as Usual? -- Modeling I -- Graph Matching Algorithms for Business Process Model Similarity Search -- Controllability in Temporal Conceptual Workflow Schemata -- Towards Algorithmic Generation of Business Processes: From Business Step Dependencies to Process Algebra Expressions -- Managing Processes -- Extending BPM Environments of Your Choice with Performance Related Decision Support -- Business Process-Based Resource Importance Determination -- Case Study and Maturity Model for Business Process Management Implementation -- Process Mining I -- Discovering Process Models from Unlabelled Event Logs -- Abstractions in Process Mining: A Taxonomy of Patterns -- Processes and Services -- Aggregating Hierarchical Service Level Agreements in Business Value Networks -- Set Algebra for Service Behavior: Applications and Constructions -- A Restructuring Method for WS-BPEL Business Processes Based on Extended Workflow Graphs -- Modeling II -- The Triconnected Abstraction of Process Models -- Granularity as a Cognitive Factor in the Effectiveness of Business Process Model Reuse -- Artifact-Based Transformation of IBM Global Financing -- Verification and Compliance -- Instantaneous Soundness Checking of Industrial Business Process Models -- Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes -- Effect of Using Automated Auditing Tools on Detecting Compliance Failures in Unmanaged Processes -- Process Mining II -- Divide-and-Conquer Strategies for Process Mining -- Discovering Reference Models by Mining Process Variants Using a Heuristic Approach. |
Record Nr. | UNISA-996465733903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Business process management : 7th International Conference, BPM 2009, Ulm, Germany, September 8-10, 2009, proceedings / / edited by Umeshwar Dayal, Johann Eder, Jana Koehler, Hajo A. Reijers |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg, : Springer-Verlag, 2009 |
Descrizione fisica | 1 online resource (XIII, 363 p.) |
Disciplina | 025.04 |
Altri autori (Persone) |
DayalUmeshwar
EderJohann KoehlerJana ReijersHajo A |
Collana | Lecture notes in computer science |
Soggetto topico |
Business - Data processing - Management
Management information systems |
ISBN | 3-642-03848-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Editorial -- A Collaboration and Productiveness Analysis of the BPM Community -- Invited Talks -- BPM 3.0 -- Change in Control -- Scientific Workflows: Business as Usual? -- Modeling I -- Graph Matching Algorithms for Business Process Model Similarity Search -- Controllability in Temporal Conceptual Workflow Schemata -- Towards Algorithmic Generation of Business Processes: From Business Step Dependencies to Process Algebra Expressions -- Managing Processes -- Extending BPM Environments of Your Choice with Performance Related Decision Support -- Business Process-Based Resource Importance Determination -- Case Study and Maturity Model for Business Process Management Implementation -- Process Mining I -- Discovering Process Models from Unlabelled Event Logs -- Abstractions in Process Mining: A Taxonomy of Patterns -- Processes and Services -- Aggregating Hierarchical Service Level Agreements in Business Value Networks -- Set Algebra for Service Behavior: Applications and Constructions -- A Restructuring Method for WS-BPEL Business Processes Based on Extended Workflow Graphs -- Modeling II -- The Triconnected Abstraction of Process Models -- Granularity as a Cognitive Factor in the Effectiveness of Business Process Model Reuse -- Artifact-Based Transformation of IBM Global Financing -- Verification and Compliance -- Instantaneous Soundness Checking of Industrial Business Process Models -- Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes -- Effect of Using Automated Auditing Tools on Detecting Compliance Failures in Unmanaged Processes -- Process Mining II -- Divide-and-Conquer Strategies for Process Mining -- Discovering Reference Models by Mining Process Variants Using a Heuristic Approach. |
Record Nr. | UNINA-9910484877003321 |
Berlin ; ; Heidelberg, : Springer-Verlag, 2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
KI 2002: Advances in Artificial Intelligence [[electronic resource] ] : 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002. Proceedings / / edited by Matthias Jarke, Jana Koehler, Gerhard Lakemeyer |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (XIV, 334 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Artificial Intelligence |
ISBN | 3-540-45751-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Natural Language -- LIGHT — A Constraint Language and Compiler System for Typed-Unification Grammars -- Phrase-Based Statistical Machine Translation -- Compiling Dynamic Agent Conversations -- Machine Learning — Combined Approaches -- Dynamic Pricing of Information Products Based on Reinforcement Learning: A Yield-Management Approach -- Incremental Fuzzy Decision Trees -- Learning from Multiple Bayesian Networks for the Revision and Refinement of Expert Systems -- Knowledge Representation, Semantic Web, AI Planning -- On the Problem of Computing Small Representations of Least Common Subsumers -- Approximate Information Filtering on the Semantic Web -- ParleE: An Adaptive Plan Based Event Appraisal Model of Emotions -- Integrating Function Application in State-Based Planning -- Machine Learning — Neural Networks -- Fast Winner-Takes-All Networks for the Maximum Clique Problem -- Augmenting Supervised Neural Classifier Training Using a Corpus of Unlabeled Data -- Learning of Class Descriptions from Class Discriminations: A Hybrid Approach for Relational Objects -- Logic Programming - Theorem Proving - Model Checking -- The Well-Founded Semantics Is a Stratified Fitting Semantics -- Axiomatization of Finite Algebras -- Algorithms for Guiding Clausal Temporal Resolution -- Vision and Spatial Reasoning -- Axiom — A Modular Visual Object Retrieval System -- Representation of Behavioral Knowledge for Planning and Plan-Recognition in a Cognitive Vision System -- Qualitative Velocity and Ball Interception -- Spatial Inference — Learning vs. Constraint Solving -- Invited Presentations -- From Simulated Dialogues to Interactive Performances with Virtual Actors -- Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications -- Semantic Web Enabled Web Services -- DFG Priority Programs -- DFG Priority Program RoboCup (SPP-1125) Cooperating Teams of Mobile Robots in Dynamic Environments -- DFG Priority Program (SPP-1083) Intelligent Agents and Realistic Commercial Application Scenarios -- DFG Priority Program (SPP-1077) Socionics — Investigating and Modelling Artificial Societies. |
Record Nr. | UNISA-996465510603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
KI 2002: Advances in Artificial Intelligence : 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002. Proceedings / / edited by Matthias Jarke, Jana Koehler, Gerhard Lakemeyer |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (XIV, 334 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Artificial Intelligence |
ISBN | 3-540-45751-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Natural Language -- LIGHT — A Constraint Language and Compiler System for Typed-Unification Grammars -- Phrase-Based Statistical Machine Translation -- Compiling Dynamic Agent Conversations -- Machine Learning — Combined Approaches -- Dynamic Pricing of Information Products Based on Reinforcement Learning: A Yield-Management Approach -- Incremental Fuzzy Decision Trees -- Learning from Multiple Bayesian Networks for the Revision and Refinement of Expert Systems -- Knowledge Representation, Semantic Web, AI Planning -- On the Problem of Computing Small Representations of Least Common Subsumers -- Approximate Information Filtering on the Semantic Web -- ParleE: An Adaptive Plan Based Event Appraisal Model of Emotions -- Integrating Function Application in State-Based Planning -- Machine Learning — Neural Networks -- Fast Winner-Takes-All Networks for the Maximum Clique Problem -- Augmenting Supervised Neural Classifier Training Using a Corpus of Unlabeled Data -- Learning of Class Descriptions from Class Discriminations: A Hybrid Approach for Relational Objects -- Logic Programming - Theorem Proving - Model Checking -- The Well-Founded Semantics Is a Stratified Fitting Semantics -- Axiomatization of Finite Algebras -- Algorithms for Guiding Clausal Temporal Resolution -- Vision and Spatial Reasoning -- Axiom — A Modular Visual Object Retrieval System -- Representation of Behavioral Knowledge for Planning and Plan-Recognition in a Cognitive Vision System -- Qualitative Velocity and Ball Interception -- Spatial Inference — Learning vs. Constraint Solving -- Invited Presentations -- From Simulated Dialogues to Interactive Performances with Virtual Actors -- Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications -- Semantic Web Enabled Web Services -- DFG Priority Programs -- DFG Priority Program RoboCup (SPP-1125) Cooperating Teams of Mobile Robots in Dynamic Environments -- DFG Priority Program (SPP-1083) Intelligent Agents and Realistic Commercial Application Scenarios -- DFG Priority Program (SPP-1077) Socionics — Investigating and Modelling Artificial Societies. |
Record Nr. | UNINA-9910143891603321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|