the human heart's electrical activity produces currents that radiate through the surrounding tissue to the skin. When electrodes are attached to the skin, they sense these electrical currents and transmit them to ...
详细信息
the proceedings contain 28 papers. the special focus in this conference is on Computer Science logic. the topics include: Four-valued diagnoses for stratified knowledge-bases;on the subject reduction property for alge...
ISBN:
(纸本)3540631720
the proceedings contain 28 papers. the special focus in this conference is on Computer Science logic. the topics include: Four-valued diagnoses for stratified knowledge-bases;on the subject reduction property for algebraic type systems;bounded-variable fixpoint queries are PSPACE-complete;graph rewriting semantics for functional programming languages;an extension of models of axiomatic domain theory to models of synthetic domain theory;relative undecidability in term rewriting;extending models of second order predicate logic to models of second order dependent type theory;cut-free display calculi for relation algebras;computational aspects of arity hierarchies;weak semantics based on lighted button pressing experiments;monadic NP and built-in trees;optimization problems with approximation schemes;computational representations of herbrand models using grammars;social confluence in client-server systems;a type-free resource-aware a-calculus;inductive definitions with decidable atomic formulas;new intuitionistic logical constants and undecidability of the conservativeness problem.
the proceedings contain 60 papers. the special focus in this conference is on logic for AI, Learning and Discovery Systems. the topics include: Goal-oriented multimedia dialogue with variable initiative;knowledge-base...
ISBN:
(纸本)3540636145
the proceedings contain 60 papers. the special focus in this conference is on logic for AI, Learning and Discovery Systems. the topics include: Goal-oriented multimedia dialogue with variable initiative;knowledge-based image retrieval with spatial and temporal constructs;verification and validation of AI systems that control deep-space spacecraft;data mining and knowledge discovery;embedding prioritized circumscription in logic programs;extending temporal logic for capturing evolving behaviour;a description logic model for querying knowledge bases for structured documents;refining first order theories with neural networks;a way of increasing both autonomy and versatility of a KDD system;a comparison of attribute selection strategies for attribute-oriented generalization;boolean reasoning for feature extraction problems;world model construction in children during physics learning;well-behaved evaluation functions for numerical attributes;an improved inductive learning algorithm with a preanalysis of data;efficient induction of numerical constraints;learning english syllabification for words;towards conceptual query answering;an implementation platform for query-answering in default logics;automating spoken dialogue systems;handwritten digit recognition by local principal components analysis;from conceptual model to internal model;speeding GA-based attribute selection for image interpretation;using recurrent selection to improve GA performance;a coevolutionary approach to concept learning;representation of music in a learning classifier system;on multi-class problems and discretization in inductivelogicprogramming and discovering empirical equations from robot-collected data.
the proceedings contain 30 papers. the special focus in this conference is on Artificial Intelligence, Automated Reasoning, and Symbolic Computation. the topics include: Expressiveness and complexity of full first-ord...
ISBN:
(纸本)3540438653
the proceedings contain 30 papers. the special focus in this conference is on Artificial Intelligence, Automated Reasoning, and Symbolic Computation. the topics include: Expressiveness and complexity of full first-order constraints in the algebra of trees;deduction versus computation;integration of quantifier elimination with constraint logicprogramming;towards a hybrid symbolic/numeric computational approach in controller design;inductive synthesis of functional programs;on a generalised logicality theorem;using symbolic computation in an automated sequent derivation system for multi-valued logic;multicontext logic for semigroups of contexts;indefinite integration as a testbed for developments in multi-agent systems;genetic symbolic classification integrated with non-linear coefficient optimisation;a novel face recognition method;non-commutative logic for hand-written character modeling;from numerical to symbolic data during the recognition of scenarii;on mathematical modeling of networks and implementation aspects;continuous first-order constraint satisfaction;reasoning and scheduling with interval constraints;a genetic-based approach for satisfiability problems;the meaning of infinity in calculus and computer algebra systems and making conjectures about maple functions.
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good results on small programs, it does not scal...
详细信息
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. this approach works by searching for inductive invariants of a given form. In this paper, we extend that ...
详细信息
ISBN:
(纸本)9783540938996
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. this approach works by searching for inductive invariants of a given form. In this paper, we extend that work to automatic synthesis of safe hybrid systems. Starting with a multi-modal dynamical system and a safety property, we present a sound technique for synthesizing a switching logic for changing modes so as to preserve the safety property. By construction, the synthesized hybrid system is well-formed and is guaranteed safe. Our approach is based on synthesizing a controlled invariant that is sufficient to prove safety. the generation of the controlled invariant is cast as a constraint, solving problem. When the system, the safety property, and the controlled invariant are all expressed only using polynomials, the generated constraint is an EA formula in the theory of reals, which we solve using SMT solvers. the generated controlled invariant is then used to arrive at the maximally liberal switching logic.
the proceedings contain 121 papers. the special focus in this conference is on Foundations of AI, Induction, logicprogramming, Reinforcement Learning and Machine Learning. the topics include: Knowledge representation...
ISBN:
(纸本)3540679251
the proceedings contain 121 papers. the special focus in this conference is on Foundations of AI, Induction, logicprogramming, Reinforcement Learning and Machine Learning. the topics include: Knowledge representation, belief revision, and the challenge of optimality;towards a next-generation search engine;an attempt to represent a database by predicate formulae;a unifying semantics for causal ramifications;inductive inference of chess player strategy;compiling logical features into specialized state-evaluators by partial evaluation, Boolean tables and incremental calculation;using domain knowledge in ilp to discover protein functional models;knowledge reformation for efficient first-order hypothetical reasoning;determination of general concept in learning default rules;a theory of profit sharing in dynamic environment;a region selecting method which performs observation and action in the multi-resolution environment;the lumberjack algorithm for learning linked decision forests;efficient iris recognition system by optimization of feature vectors and classifier;an efficient learning algorithm using natural gradient and second order information of error surface;fast and robust general purpose clustering algorithms;tropical cyclone intensity forecasting model;trading off granularity against complexity in predictive models for complex domains;efficient inference in dynamic belief networks with variable temporal resolution;epistemic states guiding the rational dynamics of information;perceiving environments for intelligent agents;constructing an autonomous agent with an interdependent heuristics;from brain theory to autonomous robotic agents and a multi-agent approach for optical inspection technology.
We introduce a new reconfigurable logic element. Its operations are based on threshold logic and it can store its own configuration data. the element is composed of threshold gates which are implemented in a two-level...
详细信息
Instruction selection is a compiler optimisation that translates the intermediate representation of a program into a lower intermediate representation or an assembler program. We use the SSA form as an intermediate re...
详细信息
ISBN:
(纸本)9781450378345
Instruction selection is a compiler optimisation that translates the intermediate representation of a program into a lower intermediate representation or an assembler program. We use the SSA form as an intermediate representation for instruction selection. Patterns are used for translation and are expressed as production rules in a graph grammar. the instruction selector seeks for a syntax derivation with minimal costs optimising execution time, code size, or a combination of both. Production rules are either base rules which match nodes in the SSA graph or chain rules which convert results of operations. We present a new algorithm for placing chain rules in a control flow graph. this new algorithm places chain rules optimally for an arbitrary cost metric. Experiments withthe MiBench and SPEC2000 benchmark suites show that our proposed algorithm is feasible and always yields better results than simple strategies currently in use. We reduce the costs for placing chain rules by 25% for the MiBench suite and by 11% for the SPEC2000 suite.
暂无评论