Ditapis dengan
Sequences and Their Applications - SETA 2004
Invited Papers -- A Survey of Some Recent Results on Bent Functions -- A Survey of the Merit Factor Problem for Binary Sequences -- A Survey of Feedback with Carry Shift Registers -- Univariate and Multivariate Merit Factors -- Complexity of Sequences I -- Discrete Fourier Transform, Joint Linear Complexity and Generalized Joint Linear Complexity of Multisequences -- Expected Value of the Linea…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320487
- Deskripsi Fisik
- XII, 451 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Self-star Properties in Complex Information Systems
The Self-Star Vision -- The Self-Star Vision -- Self-organization -- Evolving Fractal Gene Regulatory Networks for Graceful Degradation of Software -- Evolutionary Computing and Autonomic Computing: Shared Problems, Shared Solutions? -- Self-? Topology Control in Wireless Multihop Ad Hoc Communication Networks -- Emergent Consensus in Decentralised Systems Using Collaborative Reinforcement Lear…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320135
- Deskripsi Fisik
- IX, 447 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Self-Stabilizing Systems
Snap-Stabilizing Optimal Binary Search Tree -- Synchronous vs. Asynchronous Unison -- A Snap-Stabilizing DFS with a Lower Space Requirement -- Self-stabilization of Byzantine Protocols -- Self-stabilization with r-Operators Revisited -- Self-stabilization Preserving Compiler -- Self-stabilizing Mobile Node Location Management and Message Routing -- Memory Management for Self-stabilizing Operati…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540321231
- Deskripsi Fisik
- X, 229 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
Invited Papers -- Rough Set Software -- Data Mining -- Hybrid and Hierarchical Methods -- Information Retrieval -- Image Recognition and Processing -- Multimedia Applications -- Medical Applications -- Bioinformatic Applications -- Web Content Analysis -- Business Applications -- Security Applications -- Industrial Applications -- Embedded Systems and Networking -- Intelligent and Sapient Syste…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318248
- Deskripsi Fisik
- XXIV, 748 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
Invited Papers -- Rough Sets and Flow Graphs -- A Modal Characterization of Indiscernibility and Similarity Relations in Pawlak’s Information Systems -- Granular Computing with Shadowed Sets -- Rough Set Approximations -- Rough Sets and Higher Order Vagueness -- Approximation in Formal Concept Analysis -- Second-Order Rough Approximations in Multi-criteria Classification with Imprecise Evalua…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318255
- Deskripsi Fisik
- XXIV, 748 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Recent Advances in Parallel Virtual Machine and Message Passing Interface
Invited Talks -- New Directions in PVM/Harness Research -- Towards a Productive MPI Environment -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing -- Tutorials -- Advanced Message Passing and Threading Issues -- Using MPI-2: A Problem-Based Approach -- Algorithms -- Some Improvements to a Parallel Decomposition Technique for Training Suppo…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319436
- Deskripsi Fisik
- XVIII, 550 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Progress in Artificial Intelligence
1 – General Artificial Intelligence (GAIW 2005) -- Reducing Propositional Theories in Equilibrium Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A Semantics for Logic Programs -- Operational Semantics for DyLPs -- Case Retrieval Nets for Heuristic Lexicalization in Natural Language Generation -- Partially Parametric SVM -- Adapting Hausdo…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316466
- Deskripsi Fisik
- XX, 708 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Pattern Recognition and Machine Intelligence
Keynote Papers -- Invited Papers -- Contributory Papers Clustering, Feature Selection and Learning -- Classification -- Neural Networks and Applications -- Fuzzy Logic and Applications -- Optimization and Representation -- Image Processing and Analysis -- Video Processing and Computer Vision -- Image Retrieval and Data Mining -- Bioinformatics Application -- Web Intelligence and Genetic Algorit…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540324201
- Deskripsi Fisik
- XXIV, 808 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Operational Semantics for Timed Systems
This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents a time model which allows for both the description of discrete time steps and continuous processes with a dense real-number time model. The proposed time model is well suited to express synchronicity of events in a real-number time model as well as strict causality by using …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320081
- Deskripsi Fisik
- XII, 224 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Energy Minimization Methods in Computer Vision and Pattern Recognition
Probabilistic and Informational Approaches -- Adaptive Simulated Annealing for Energy Minimization Problem in a Marked Point Process Application -- A Computational Approach to Fisher Information Geometry with Applications to Image Analysis -- Optimizing the Cauchy-Schwarz PDF Distance for Information Theoretic, Non-parametric Clustering -- Concurrent Stereo Matching: An Image Noise-Driven Model…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320982
- Deskripsi Fisik
- XII, 666 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