When solving a job scheduling problem that involves humans, the times in which they are available must be taken into account. For practical acceptance of a scheduling tool, it is further crucial that the interaction&#...
详细信息
In recent years, the advancement of AI has been primarily driven by neural networks, which, despite their success, pose challenges in terms of explainability and high-power consumption. Genetic programming (GP) offers...
详细信息
ISBN:
(数字)9798331507817
ISBN:
(纸本)9798331507824
In recent years, the advancement of AI has been primarily driven by neural networks, which, despite their success, pose challenges in terms of explainability and high-power consumption. Genetic programming (GP) offers an interpretable alternative, although its complexity has limited its practical application. this paper explores the potential of GP through experiments on a simple image filtering task, aiming to understand its properties and limitations. We also investigate the integration of transformer concepts into the GP process. Preliminary results suggest that while GP faces convergence challenges, the introduction of symbolic transformers may enhance its effectiveness in image processing tasks. these findings open up new possibilities for optimizing GP in future applications.
the proceedings contain 8 papers. the special focus in this conference is on Rewriting Techniques and Applications. the topics include: New developments in environment machines;strategy-based rewrite semantics for mem...
the proceedings contain 8 papers. the special focus in this conference is on Rewriting Techniques and Applications. the topics include: New developments in environment machines;strategy-based rewrite semantics for membrane systems preserves maximal concurrency of rewrite actions;recognizing strategies;operational termination of conditional rewriting with built-in numbers and semantic data structures;completion as post-process in program inversion of injective functions;a transformational approach to prove outermost termination automatically;computing with diagrams in classical logic and closure of tree automata languages under innermost rewriting.
In Japan, population decline and the depopulation of local regions have become social issues. Various municipalities are working to discover and promote the unique attractions of their regions. Identifying the local r...
详细信息
ISBN:
(数字)9798331507817
ISBN:
(纸本)9798331507824
In Japan, population decline and the depopulation of local regions have become social issues. Various municipalities are working to discover and promote the unique attractions of their regions. Identifying the local resources can help foster attachment to the region, potentially reducing population outflow and increasing the number of new residents. In this paper, we propose a location-based system to discover local resources and their associated stories to foster attachment to the local community. To evaluate whether this system effectively identifies local attractions and cultivates attachment to the community, we organized a town walking event in collaboration with local municipalities and members of local community groups in the event area.
programming skills are increasingly required in a variety of professions, but learning programming is generally challenging. Yet, as the field of application expands, software engineers are in short supply. this paper...
详细信息
the proceedings contain 36 papers from the Computer Science logic: 19thinternational Workshop, CSL 2005, 14th Annual conference of the EACSL. Proceedings. the topics discussed include: higher-order matching and games...
详细信息
the proceedings contain 36 papers from the Computer Science logic: 19thinternational Workshop, CSL 2005, 14th Annual conference of the EACSL. Proceedings. the topics discussed include: higher-order matching and games;on the role of inductive constructions;on bunched polymorphism;towards a characterization of order-invariant queries over tame structures;results on the guarded fragment with equivalence or transitive relations;on the complexity of hybrid logics with binders;closure properties of weak systems of bounded arithmetic;identifying polynomial-time recursive functions;confluence of shallow right-linear rewrite systems;and transfinite extension of the Mu-calculus.
the proceedings contain 9 papers. the topics discussed include: transforming functional logic programs into monadic functional programs;mixed-level embedding and JIT compilation for an iteratively staged DSL;an access...
ISBN:
(纸本)9783642207747
the proceedings contain 9 papers. the topics discussed include: transforming functional logic programs into monadic functional programs;mixed-level embedding and JIT compilation for an iteratively staged DSL;an access control language based on term rewriting and description logic;lazy and enforceable assertions for functional logic programs;parameterized models for on-line and off-line use;efficient and compositional higher-order streams;an adequate, denotational, functional-style semantics for typed FlatCurry;bridging the gap between two concurrent constraint languages;and types for role-based access control of dynamic web data.
the proceedings contain 17 papers. the topics discussed include: analyzing and predicting energy consumption of garbage collectors in OpenJDK;automatic array transformation to columnar storage at run time;better under...
ISBN:
(纸本)9781450396967
the proceedings contain 17 papers. the topics discussed include: analyzing and predicting energy consumption of garbage collectors in OpenJDK;automatic array transformation to columnar storage at run time;better understanding the costs and benefits of automatic memory management;compressed forwarding tables reconsidered;dynamic taint analysis with label-defined semantics;event-based out-of-place debugging;machine-learning-based self-optimizing compiler heuristics;towards a model checking framework for a new collector framework;analyzing the cost of safety for vectorized bytecode in dynamically-typed languages;automatically transforming arrays to columnar storage at run time;characterizing WebAssembly bytecode;selecting semi-permanent object candidates in dynamically-typed reflective languages;and Polyglot, label-defined dynamic taint analysis in TruffleTaint.
the proceedings contain 11 papers. the topics discussed include: modeling black-box components with probabilistic synthesis;automated variability injection for graphical modeling languages;correctness-by-construction ...
ISBN:
(纸本)9781450381741
the proceedings contain 11 papers. the topics discussed include: modeling black-box components with probabilistic synthesis;automated variability injection for graphical modeling languages;correctness-by-construction for feature-oriented software product lines;multi-stage programming in the large with staged classes;reorganizing queries with grouping;manipulating GUI structures declaratively;PReGO: a generative methodology for satisfying real-time requirements on COTS-based systems: definition and experience report;VarSem: declarative expression and automated inference of variable usage semantics;fluid quotes: metaprogramming across abstraction boundaries with dependent types;a domain-specific language for filtering in application-level gateways;and eFLINT: a domain-specific language for executable norm specifications.
In multi-objective symbolic regression, the objective is to improve the model’s accuracy while minimizing its complexity. It results in a Pareto front, including a fair compromise between accuracy and complexity. In ...
详细信息
暂无评论