Ditapis dengan
Natural Language Processing – IJCNLP 2005
Information Retrieval -- Corpus-Based Parsing -- Web Mining -- Rule-Based Parsing -- Disambiguation -- Text Mining -- Document Analysis -- Ontology and Thesaurus -- Relation Extraction -- Text Classification -- Transliteration -- Machine Translation – I -- Question Answering -- Morphological Analysis -- Machine Translation – II -- Text Summarization -- Named Entity Recognition -- Linguistic…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540317241
- Deskripsi Fisik
- XXII, 1034 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Natural Language Processing – IJCNLP 2004
Dialogue and Discourse -- FSA, Parsing Algorithms -- Information Extraction and Question Answering -- Information Retrieval -- Lexical Semantics, Ontology and Linguistic Resources -- Machine Translation and Multilinguality -- NLP Software and Application -- Semantic Disambiguation -- Statistical Models and Machine Learning for NLP -- Taggers, Chunkers, Shallow Parsers -- Text and Sentence Gener…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540302117
- Deskripsi Fisik
- XVIII, 822 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Modeling and Using Context
Modelling the Context of Learning Interactions in Intelligent Learning Environments -- Contextual Modals -- Understanding Context Before Using It -- Epistemological Contextualism: A Semantic Perspective -- Task-Realization Models in Contextual Graphs -- Context-Dependent and Epistemic Uses of Attention for Perceptual-Demonstrative Identification -- Utilizing Visual Attention for Cross-Modal Cor…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318903
- Deskripsi Fisik
- XV, 572 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computational Logic in Multi-Agent Systems
Invited Papers -- Distributed Algorithms for Dynamic Survivability of Multiagent Systems -- Programming Groups of Rational Agents -- Negotiation in Multi-agent Systems -- An Abductive Framework for Information Exchange in Multi-agent Systems -- Fault Tolerant and Fixed Scalable Structure of Middle-Agents -- Symbolic Negotiation with Linear Logic -- Planning in Multi-agent Systems -- Planning Ex…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540302001
- Deskripsi Fisik
- XII, 251 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Fundamentals of Computation Theory
Invited Talks -- The Complexity of Querying External Memory and Streaming Data -- The Smoothed Analysis of Algorithms -- Path Coupling Using Stopping Times -- Circuits -- On the Incompressibility of Monotone DNFs -- Bounds on the Power of Constant-Depth Quantum Circuits -- Automata I -- Biautomatic Semigroups -- Deterministic Automata on Unranked Trees -- Complexity I -- Decidable Membership Pr…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318736
- Deskripsi Fisik
- XVI, 580 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
MICAI 2005: Advances in Artificial Intelligence
Knowledge Representation and Management -- Logic and Constraint Programming -- Uncertainty Reasoning -- Multiagent Systems and Distributed AI -- Computer Vision and Pattern Recognition -- Machine Learning and Data Mining -- Evolutionary Computation and Genetic Algorithms -- Neural Networks -- Natural Language Processing -- Intelligent Interfaces and Speech Processing -- Bioinformatics and Medic…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316534
- Deskripsi Fisik
- XXVI, 1198 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Membrane Computing
Invited Lectures -- ?P Systems and Typed ?-Calculus -- P Automata -- Asynchronous P Systems and P Systems Working in the Sequential Mode -- Evolution and Oscillation in P Systems: Applications to Biological Phenomena -- An Approach to Computational Complexity in Membrane Computing -- LMNtal: A Language Model with Links and Membranes -- Regular Presentations -- Executable Specifications of P Sys…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318378
- Deskripsi Fisik
- X, 413 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Mechanizing Mathematical Reasoning
A Portrait of a Scientist: Logic, AI and Politics -- A Portrait of a Scientist: Logic, AI and Politics -- Logic and Deduction -- Some Reflections on Proof Transformations -- Rewrite and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation -- SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective -- Temporal Dynamics of Support…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322542
- Deskripsi Fisik
- X, 570 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Machines, Computations, and Universality
Invited Lectures -- Algorithmic Randomness, Quantum Physics, and Incompleteness -- On the Complexity of Universal Programs -- Finite Sets of Words and Computing -- Universality and Cellular Automata -- Leaf Language Classes -- Selected Contributions -- Computational Completeness of P Systems with Active Membranes and Two Polarizations -- Computing with a Distributed Reaction-Diffusion Model -- …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318347
- Deskripsi Fisik
- VIII, 328 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Machine Learning: ECML 2005
Invited Talks -- Data Analysis in the Life Sciences — Sparking Ideas — -- Machine Learning for Natural Language Processing (and Vice Versa?) -- Statistical Relational Learning: An Inductive Logic Programming Perspective -- Recent Advances in Mining Time Series Data -- Focus the Mining Beacon: Lessons and Challenges from the World of E-Commerce -- Data Streams and Data Synopses for Massive D…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316923
- Deskripsi Fisik
- XXIII, 769 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