Ditapis dengan
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
- -
AI 2004: Advances in Artificial Intelligence
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305491
- Deskripsi Fisik
- XXII, 1272 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305491
- Deskripsi Fisik
- XXII, 1272 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Database Theory - ICDT 2005
Invited Papers -- Model Checking for Database Theoreticians -- The Design Space of Type Checkers for XML Transformation Languages -- Semantics of Data Streams and Operators -- Regular Papers -- Conjunctive Query Evaluation by Search Tree Revisited -- Which XML Schemas Admit 1-Pass Preorder Typing? -- The Pipelined Set Cover Problem -- Session: Query Languages and Types -- Well-Definedness and S…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305705
- Deskripsi Fisik
- XII, 420 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Correct Hardware Design and Verification Methods
Invited Talks -- Is Formal Verification Bound to Remain a Junior Partner of Simulation? -- Verification Challenges in Configurable Processor Design with ASIP Meister -- Tutorial -- Towards the Pervasive Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit Design -- Formalization of the DE2 Language -- Game Solving Approaches -- Finding a…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320302
- Deskripsi Fisik
- XII, 414 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Constructing Correct Software
Preliminaries -- The Technical Background -- On Programming -- Fundamentals -- Algorithm Extraction -- Recursion Removal -- Quantifications -- Refinement and Re-use -- Developments -- Sorting -- Data Refinement -- Sorting Revisited -- Failures and Fixes -- Further Examples -- On Interactive Software.Central to Formal Methods is the so-called Correctness Theorem which relates a specification to …
- Edisi
- 2nd ed.
- ISBN/ISSN
- 9781846280795
- Deskripsi Fisik
- XXI, 509 p. 100 illus.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