the main indicators of the performance of an image classifier include classification accuracy, classification efficiency and evolution efficiency, whereas the sizes of the programs involved in genetic programming stan...
详细信息
ISBN:
(纸本)9781424420957
the main indicators of the performance of an image classifier include classification accuracy, classification efficiency and evolution efficiency, whereas the sizes of the programs involved in genetic programming stand as one of the major factors that influence the performance of the classifier. Some effective means are introduced in this paper for the control of program sizes, which is done through scientific construction of fitness functions of the classifier in image classification in genetic programming. Tests showed that, the growth of program sizes were effectively put under control during the course of evolution, which, in turn, greatly improved the general performance of the image classifier in genetic programming.
In the context of dynamic, component-based systems, the OSGi platform (Open Standard Gateway Initiative) supports the dynamic deployment of software services in form of so-called bundles. Since aspect-oriented program...
详细信息
BSPlib is a programming library for C and Fortran which supports bulk synchronous parallelism (BSP). this paper is about a formal semantics for the DRMA programming style of the BSPlib library. the aim is to study the...
详细信息
ISBN:
(纸本)9783540681052
BSPlib is a programming library for C and Fortran which supports bulk synchronous parallelism (BSP). this paper is about a formal semantics for the DRMA programming style of the BSPlib library. the aim is to study the behavior of BSPlib programs and to propose some syntactic characterizations used to provide guarantees on semantic properties. this work is the basis for future tools dedicated to the validation of BSPlib programs.
this is a technical report that outlines and highlights functional and non functional requirements for modelling and building strategy games. the report covers language definitions, heuristics for choosing a computer ...
详细信息
ISBN:
(纸本)9780954901660
this is a technical report that outlines and highlights functional and non functional requirements for modelling and building strategy games. the report covers language definitions, heuristics for choosing a computer language, generations of programming languages, criteria for heuristics and a heuristics model. the requirements captured and analysed also focus on the different game modes, the game play, graphics, audio, controls, and the user interface. the requirements have been automated using horn clause logic and deployed in Visual Prolog 7.
作者:
Restivo, AndréAguiar, AdemarLIAAC - NIAD and R
Faculdade de Engenharia Universidade Do Porto Rua Dr. Roberto Frias s/n 4200-465 Porto Portugal INESC Porto
Faculdade de Engenharia Universidade Do Porto Rua Dr. Roberto Frias s/n 4200-465 Porto Portugal
A large part of the software development effort is typically spent on maintenance and evolution, namely on adding new and unanticipated features. As aspect-oriented programming (AOP) can be easily used to compose soft...
详细信息
Formal algorithm derivation is valuable in ensuring resultant algorithm correctness, revealing ideas behind algorithm, and studying automatic algorithm design. An approach called mechanical partition-and-recur (MPAR f...
详细信息
ISBN:
(纸本)9780769531311
Formal algorithm derivation is valuable in ensuring resultant algorithm correctness, revealing ideas behind algorithm, and studying automatic algorithm design. An approach called mechanical partition-and-recur (MPAR for short) for deriving algorithmic program is presented. It is built on top of formal method PAR, and provides a series of strategies for mechanical algorithm derivation. Using MPAR, a given problem is partitioned into sub-problems mechanically, according to which the problem specification is transformed to seek the relation between the solutions of original problem and its sub-problems, and then the executable language program is produced automatically. MPAR makes as much work as possible be shifted from the algorithm designers, and thus enables the improvement of productivity and reliability of software.
Attempts to evaluate heuristic algorithms are often hampered by the lack of known exact solutions with which to compare results. this is true, in particular, in the study of network backbone design - to date, a fairly...
详细信息
Traffic Transfer System is an important subsystem of urban public transportation System and its evaluation can help us to find out its operational problems and solutions. In order to evaluate the layout, operation and...
详细信息
A new method to solve the convex hull problem in n-dimensional spaces is proposed in this paper. At each step, a new point is added into the convex hull if the point is judged to be out of the current convex hull by a...
详细信息
ISBN:
(纸本)9781424420957
A new method to solve the convex hull problem in n-dimensional spaces is proposed in this paper. At each step, a new point is added into the convex hull if the point is judged to be out of the current convex hull by a linear programming model. For the linear separable classification problem, if an instance is regarded as a point of the instances space, the overlap does not still occur between the convex hulls of different classes after a feature is deleted, then we can delete that feature. Repeat this process, an algorithm for feature selection is given. Experimental results show the effectiveness of the algorithm.
in this paper we describe the design and initial evaluation of a tangible computer programming exhibit for children on display at the Boston Museum of Science. We also discuss five design considerations for tangible i...
详细信息
ISBN:
(纸本)9781595939944
in this paper we describe the design and initial evaluation of a tangible computer programming exhibit for children on display at the Boston Museum of Science. We also discuss five design considerations for tangible interfaces in science museums that guided our development and evaluation. in doing so, we propose the notion of passive tangible interfaces. Passive tangibles serve as a way to address practical issues involving tangible interaction in public settings and as a design strategy to promote reflective thinking. Results from our evaluation indicate that passive tangibles can preserve many of the benefits of tangible interaction for informal science learning while remaining cost-effective and reliable. Copyright 2008 ACM.
暂无评论