Ditapis dengan
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
- -
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
- -
Automated Reasoning with Analytic Tableaux and Related Methods
Invited Talks -- Query Processing in Peer-to-Peer Systems: An Epistemic Logic Approach -- Description Logics in Ontology Applications -- Automated Reasoning in the Context of the Semantic Web -- Formal Versus Rigorous Mathematics: How to Get Your Papers Published -- Research Papers -- Consistency of Variable Splitting in Free Variable Systems of First-Order Logic -- On the Dynamic Increase of M…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318224
- Deskripsi Fisik
- XIV, 346 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Automated Deduction – CADE-20
What Do We Know When We Know That a Theory Is Consistent? -- Reflecting Proofs in First-Order Logic with Equality -- Reasoning in Extensional Type Theory with Equality -- Nominal Techniques in Isabelle/HOL -- Tabling for Higher-Order Logic Programming -- A Focusing Inverse Method Theorem Prover for First-Order Linear Logic -- The CoRe Calculus -- Simulating Reachability Using First-Order Logic …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318644
- Deskripsi Fisik
- XIV, 466 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Algorithmic Learning Theory
Editors’ Introduction -- Editors’ Introduction -- Invited Papers -- Invention and Artificial Intelligence -- The Arrowsmith Project: 2005 Status Report -- The Robot Scientist Project -- Algorithms and Software for Collaborative Discovery from Autonomous, Semantically Heterogeneous, Distributed Information Sources -- Training Support Vector Machines via SMO-Type Decomposition Methods -- Kern…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316961
- Deskripsi Fisik
- XII, 491 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Developments in Language Theory
Invited Papers -- Recognizable Sets of Graphs, Hypergraphs and Relational Structures: A Survey -- Some New Directions and Questions in Parameterized Complexity -- Basic Notions of Reaction Systems -- A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms -- Algebraic and Topological Models for DNA Recombinant Processes -- Contributed Papers -- Regular Expressions for T…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305507
- Deskripsi Fisik
- XII, 436 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Deterministic and Statistical Methods in Machine Learning
Object Recognition via Local Patch Labelling -- Multi Channel Sequence Processing -- Bayesian Kernel Learning Methods for Parametric Accelerated Life Survival Analysis -- Extensions of the Informative Vector Machine -- Efficient Communication by Breathing -- Guiding Local Regression Using Visualisation -- Transformations of Gaussian Process Priors -- Kernel Based Learning Methods: Regularizatio…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540317289
- Deskripsi Fisik
- VIII, 341 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Algebra and Coalgebra in Computer Science
Invited Talks -- Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories -- Labels from Reductions: Towards a General Theory -- Adequacy for Algebraic Effects with State -- Contributed Papers -- Bisimilarity Is Not Finitely Based over BPA with Interrupt -- Algebra ? Coalgebra = Presheaves -- Strong Splitting Bisimulation Equivalence -- Complete Axioms for Stateless Conne…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318767
- Deskripsi Fisik
- XII, 460 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
AI 2005: Advances in Artificial Intelligence
Invited Talks -- I: AI Foundations and Technologies -- II: Computational Intelligence -- III: AI in Specialized Domains -- IV: Short Papers.The 18th Australian Joint Conference on Artificial Intelligence (AI 2005) was held at the University of Technology, Sydney (UTS), Sydney, Australia from 5 to 9 December 2005. AI 2005 attracted a historical record number of submissions, a total of 535 papers…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316527
- Deskripsi Fisik
- XXVII, 1344 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
AI*IA 2005: Advances in Artificial Intelligence
Theoretical Research: Results and Proposals -- The Complexity of Action Redundancy -- On the Impact of Small-World on Local Search -- A Hybrid Logic for Commonsense Spatial Reasoning -- Using a Theorem Prover for Reasoning on Constraint Problems -- Good and Bad Practices in Propositionalisation -- Periodicity-Based Temporal Constraints -- A Survey of Problem Difficulty in Genetic Programming --…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540317333
- Deskripsi Fisik
- XIV, 614 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