Ditapis dengan
Applications and Theory of Petri Nets 2005
Invited Papers -- Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets -- Applications of Craig Interpolation to Model Checking -- Towards an Algebra for Security Policies -- Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control -- Full Papers -- Genetic Process Mining -- The (True) Concurrent Markov Property and Some Applications to Markov N…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540315599
- Deskripsi Fisik
- XI, 475 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Designing and Evaluating E-Management Decision Tools
Decision Modeling Paradigms -- Visual Interactive Decision Modeling -- Online Preference Elicitation -- Collaborative Decision Making -- Negotiation and Conflict Resolution -- Marketing Decision Optimization -- Guidelines for Designing and Evaluating Decision Tools.The integration of analytic models into information systems provides the basis for developing intelligent decision support systems …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387231754
- Deskripsi Fisik
- XVI, 254 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Agent-Mediated Electronic Commerce VI
Mechanism Design -- Revenue Failures and Collusion in Combinatorial Auctions and Exchanges with VCG Payments -- A Mechanism for Multiple Goods and Interdependent Valuations -- A Budget-Balanced, Incentive-Compatible Scheme for Social Choice -- An Options-Based Method to Solve the Composability Problem in Sequential Auctions -- “CONFESS”. Eliciting Honest Feedback Without Independent Verific…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540331667
- Deskripsi Fisik
- XII, 214 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Database and Expert Systems Applications
How to Design a Loose Inter-organizational Workflow? An Illustrative Case Study -- Recovering from Malicious Attacks in Workflow Systems -- Towards Mining Structural Workflow Patterns -- Avoiding Error-Prone Reordering Optimization During Legal Systems Migration -- Automated SuperSQL Query Formulation Based on Statistical Characteristics of Data -- Distribution Rules for Array Database Queries …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540317296
- Deskripsi Fisik
- XX, 955 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Data Mining and Knowledge Management
Keynote Lectures -- Visualization-Based Data Mining Tool and Its Web Application -- Knowledge Management, Habitual Domains, and Innovation Dynamics -- Knowledge-Information Circulation Through the Enterprise: Forward to the Roots of Knowledge Management -- Data Mining Methodology -- A Hybrid Nonlinear Classifier Based on Generalized Choquet Integrals -- Fuzzy Classification Using Self-Organizin…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305378
- Deskripsi Fisik
- XIV, 266 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Advances in Spatial and Temporal Databases
Query Optimization and Simulation -- Selectivity Estimation of High Dimensional Window Queries via Clustering -- Spatio-temporal Histograms -- GAMMA: A Framework for Moving Object Simulation -- Advanced Query Processing I -- Medoid Queries in Large Spatial Databases -- The Islands Approach to Nearest Neighbor Querying in Spatial Networks -- Estimating the Overlapping Area of Polygon Join -- Spa…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319047
- Deskripsi Fisik
- XIII, 433 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Advances in Intelligent Data Analysis VI
Probabilistic Latent Clustering of Device Usage -- Condensed Nearest Neighbor Data Domain Description -- Balancing Strategies and Class Overlapping -- Modeling Conditional Distributions of Continuous Variables in Bayesian Networks -- Kernel K-Means for Categorical Data -- Using Genetic Algorithms to Improve Accuracy of Economical Indexes Prediction -- A Distance-Based Method for Preference Info…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319269
- Deskripsi Fisik
- XIV, 534 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Logical Data Modeling
Getting Started -- The Art Gallery Web: A Data Modeling Example -- Building the Data Map -- The Art Gallery Web (Continued) -- Keys and Valid Associations -- The Art Gallery Web (Continued) -- Defining Attributes -- The Art Gallery Web (Continued) -- Verifying the Data Model -- Validating the Data Model -- Design Patterns -- From Logical to Physical -- The End and the Beginning.LOGICAL DATA MOD…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387229621
- Deskripsi Fisik
- XII, 228 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Legal Programming
Contracts -- Intellectual Property Rights -- Consumer Protection -- Privacy -- Conclusions.The most advanced and ambitious aspect of ecommerce technology is the use of intelligent agent-based computing. Software agents are basically autonomous software entities that can react and interact with their environment, with more advanced intelligent agents being also adaptive, sociable and mobile. Age…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387234151
- Deskripsi Fisik
- XX, 314 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Monitoring, Security, and Rescue Techniques in Multiagent Systems
Foundations and Methods -- Flow Graphs, their Fusion and Data Analysis -- Approximation Spaces for Hierarchical Intelligent Behavioral System Models -- Distributed Adaptive Control: Beyond Single-Instant, Discrete Control Variables -- Multi-agent Planning for Autonomous Agents’ Coordination -- Creating Common Beliefs in Rescue Situations -- Coevolutionary Processes for Strategic Decisions -- …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540323709
- Deskripsi Fisik
- XII, 596 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah