Ditapis dengan
Professional Knowledge Management
Keynote Contributions -- Intelligent Office Appliances (IOA) -- Learning Software Organizations (LSO) -- Learner-Oriented Knowledge Management and KM-Oriented E-Learning (LOKMOL) -- Peer-to-Peer and Agent Infrastructures for Knowledge Management (PAIKM) -- Knowledge Intensive Business Processes (KiBP) -- German Workshop on Experience Management (GWEM) -- Knowledge Management in Medicine (KMM) -…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316206
- Deskripsi Fisik
- XXIII, 739 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Processes, Terms and Cycles: Steps on the Road to Infinity
The Spectra of Words -- On the Undecidability of Coherent Logic -- Löb’s Logic Meets the ?-Calculus -- A Characterisation of Weak Bisimulation Congruence -- Böhm’s Theorem, Church’s Delta, Numeral Systems, and Ershov Morphisms -- Explaining Constraint Programming -- Sharing in the Weak Lambda-Calculus -- Term Rewriting Meets Aspect-Oriented Programming -- Observing Reductions in Nominal…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540324256
- Deskripsi Fisik
- XVIII, 642 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Probabilistic Conditional Independence Structures
Basic Concepts -- Graphical Methods -- Structural Imsets: Fundamentals -- Description of Probabilistic Models -- Equivalence and Implication -- The Problem of Representative Choice -- Learning -- Open Problems.Conditional independence is a topic that lies between statistics and artificial intelligence. Probabilistic Conditional Independence Structures provides the mathematical description of pr…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781846280832
- Deskripsi Fisik
- XIV, 285 p. 42 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Principles and Practice of Semantic Web Reasoning
Architectures -- SomeWhere in the Semantic Web -- A Framework for Aligning Ontologies -- A Revised Architecture for Semantic Web Reasoning -- Semantic Web Architecture: Stack or Two Towers? -- Languages -- Ten Theses on Logic Languages for the Semantic Web -- Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules -- Logical Reconstruction of RDF and Ontology Langu…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320289
- Deskripsi Fisik
- X, 166 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Principles and Practice of Constraint Programming - CP 2005
Invited Papers -- Best Papers -- Full Papers -- Short Papers -- Doctoral Papers -- System Demonstrations.
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320500
- Deskripsi Fisik
- XX, 888 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Practice and Theory of Automated Timetabling V
General Issues -- Learning User Preferences in Distributed Calendar Scheduling -- Semantic Components for Timetabling -- An Open Interactive Timetabling Tool -- Distributed Choice Function Hyper-heuristics for Timetabling and Scheduling -- Transport Timetabling -- A Hybridised Integer Programming and Local Search Method for Robust Train Driver Schedules Planning -- Logistics Service Network Des…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540324218
- Deskripsi Fisik
- XII, 360 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Perspectives in Conceptual Modeling
First International Workshop on Best Practices of UML (BP-UML 2005) -- Preface to BP-UML 2005 -- Experience Reports and new Applications -- Current Practices in the Use of UML -- An Empirical Study of the Nesting Level of Composite States Within UML Statechart Diagrams -- Utilizing a Multimedia UML Framework for an Image Database Application -- Model Evaluation and Requirements Modeling -- Obje…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322399
- Deskripsi Fisik
- XXII, 480 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
- -
Pattern Recognition and Image Analysis
International Workshop on Pattern Recognition for Crime Prevention, Security and Surveillance -- Biometrics -- Image Processing -- Medical Imaging.
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319993
- Deskripsi Fisik
- XXVI, 814 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Pattern Recognition and Image Analysis
Computer Vision -- An Invariant and Compact Representation for Unrestricted Pose Estimation -- Gabor Parameter Selection for Local Feature Detection -- Real-Time Tracking Using Multiple Target Models -- Efficient Object-Class Recognition by Boosting Contextual Information -- Illumination Intensity, Object Geometry and Highlights Invariance in Multispectral Imaging -- Local Single-Patch Features…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322375
- Deskripsi Fisik
- XXVI, 703 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