Ditapis dengan
Information Processing and Management of Uncertainty in Knowledge-Based Systems
Uncertainty and imprecision on the web of data -- Decision support and uncertainty management in agri-environment -- Fuzzy implications -- Clustering; fuzzy measures and integrals -- Non-classical logics -- Data analysis -- Real-world applications -- Aggregation -- Probabilistic networks -- Recommendation systems and social networks -- Fuzzy systems -- Fuzzy logic in boolean framework -- Manage…
- Edisi
- 1st ed.
- ISBN/ISSN
- 978-3-319-08855-6
- Deskripsi Fisik
- XVIII, 631 p. 142 illus. online resource
- Judul Seri
- -
- No. Panggil
- -
Fuzzy Modeling with Spatial Information for Geographic Problems
Reasoning About Regions, Relations, and Fields -- Fuzzy Reasoning about Geographic Regions -- Combined Extraction of Directional and Topological Relationship Information from 2D Concave Objects -- Field Based Methods for the Modeling of Fuzzy Spatial Data -- Modeling Localities with Fuzzy Sets and GIS -- Fuzzy Classification -- Mining Weather Data Using Fuzzy Cluster Analysis -- Modelling the F…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540268864
- Deskripsi Fisik
- XII, 338 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
ZB 2005: Formal Specification and Development in Z and B
Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification —Extended Abstract— -- Visualising Larger State Spaces in Pro B -- Non-atomic Refinement in Z and CSP -- Process Refinement in B -- CZT: A Framework for Z Tools -- Model Checking Z Specifications Using SAL -- Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ -- A Stepwise Deve…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320074
- Deskripsi Fisik
- XVI, 496 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Case-Based Reasoning Research and Development
Invited Talks -- The Virtue of Reward: Performance, Reinforcement and Discovery in Case-Based Reasoning -- Learning to Optimize Plan Execution in Information Agents -- Cased-Based Reasoning by Human Experts -- Scientific Papers -- Learning to Win: Case-Based Plan Selection in a Real-Time Strategy Game -- An Ensemble of Case-Based Classifiers for High-Dimensional Biological Domains -- Language G…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318552
- Deskripsi Fisik
- XVI, 656 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computer Science Logic
Invited Lectures -- XML Navigation and Tarski’s Relation Algebras -- Verification in Predicate Logic with Time: Algorithmic Questions -- Note on Formal Analogical Reasoning in the Juridical Context -- An Abstract Strong Normalization Theorem -- Semantics and Logics -- On Bunched Polymorphism -- Distributed Control Flow with Classical Modal Logic -- A Logic of Coequations -- A Semantic Formula…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318972
- Deskripsi Fisik
- XI, 567 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Transactions on Rough Sets IV
Regular Papers -- A Treatise on Rough Sets -- On Optimization of Decision Trees -- Dealing with Missing Data: Algorithms Based on Fuzzy Set and Rough Set Theories -- Characteristic Relations for Incomplete Data: A Generalization of the Indiscernibility Relation -- Supervised Learning in the Gene Ontology Part I: A Rough Set Framework -- Supervised Learning in the Gene Ontology Part II: A Bottom…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320166
- Deskripsi Fisik
- X, 378 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Unconventional Programming Paradigms
Invited Talk -- From Quantum Physics to Programming Languages: A Process Algebraic Approach -- Chemical Computing -- Chemical Computing -- Programming Reaction-Diffusion Processors -- From Prescriptive Programming of Solid-State Devices to Orchestrated Self-organisation of Informed Matter -- Relational Growth Grammars – A Graph Rewriting Approach to Dynamical Systems with a Dynamical Structur…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540314820
- Deskripsi Fisik
- XI, 367 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Theory and Applications of Satisfiability Testing
Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables -- Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables -- A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints -- An Algebraic Approach to the Complexity of Generalized Conjunctive Queries -- Incremental Compilation-to-SAT Procedures -- Resolve and Expand…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540315803
- Deskripsi Fisik
- XIII, 393 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Global Optimization and Constraint Satisfaction
Constraint Satisfaction -- Efficient Pruning Technique Based on Linear Relaxations -- Inter-block Backtracking: Exploiting the Structure in Continuous CSPs -- Accelerating Consistency Techniques and Prony’s Method for Reliable Parameter Estimation of Exponential Sums -- Global Optimization -- Convex Programming Methods for Global Optimization -- A Method for Global Optimization of Large Syste…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320418
- Deskripsi Fisik
- XII, 193 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Theoretical Computer Science
Invited Contributions -- Semantic Subtyping: Challenges, Perspectives, and Open Problems -- Biological Systems as Reactive Systems -- Mobile Agents Computing: Security Issues and Algorithmic Solutions -- Technical Contributions -- Efficient Algorithms for Detecting Regular Point Configurations -- Pickup and Delivery for Moving Objects on Broken Lines -- A Static Analysis of PKI-Based Systems --…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320241
- Deskripsi Fisik
- XI, 411 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