Ditapis dengan
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
- -
Agent-Oriented Software Engineering V
Modeling -- Organizational and Social Concepts in Agent Oriented Software Engineering -- Representing Agent Interaction Protocols with Agent UML -- AML: Agent Modeling Language Toward Industry-Grade Agent-Based Modeling -- Formal Semantics for AUML Agent Interaction Protocol Diagrams -- A Study of Some Multi-agent Meta-models -- A Metamodel for Agents, Roles, and Groups -- Design -- Bridging th…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305781
- Deskripsi Fisik
- X, 246 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Declarative Agent Languages and Technologies II
Reasoning -- Dynamics of Declarative Goals in Agent Programming -- Theories of Intentions in the Framework of Situation Calculus -- Partial Deduction for Linear Logic—The Symbolic Negotiation Perspective -- Modelling and Engineering -- On Modelling Multi-agent Systems Declaratively -- The Semantics of MALLET–An Agent Teamwork Encoding Language -- Construction of an Agent-Based Framework for…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319276
- Deskripsi Fisik
- XII, 292 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
- -
Agent Communication
Section I: Social Commitments -- Agent Communication and Institutional Reality -- Conversational Semantics with Social Commitments -- A Semantic Approach for Designing Commitment Protocols -- Section II: Multi-party Communication -- A Scalable Petri Net Representation of Interaction Protocols for Overhearing -- First Steps Towards Multi-party Communication -- Section III: Content Languages -- O…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322580
- Deskripsi Fisik
- X, 266 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
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah