In this paper, we describe optimization approaches to possibilistic linear programming problems. Especially, achievement rate approaches are developed. Solution algorithms under a given fuzzy goal and under unknown go...
详细信息
ISBN:
(纸本)0780370783
In this paper, we describe optimization approaches to possibilistic linear programming problems. Especially, achievement rate approaches are developed. Solution algorithms under a given fuzzy goal and under unknown goal are designed based on the relaxation procedure.
the common approach to include non-functional requirements in tool chains for hardware/software embedded systems requires developers to manually change the software code and/or the hardware, in an error-prone and tedi...
详细信息
ISBN:
(纸本)9781457704345
the common approach to include non-functional requirements in tool chains for hardware/software embedded systems requires developers to manually change the software code and/or the hardware, in an error-prone and tedious process. In the REFLECT research project we explore a novel approach where safety requirements are described using an aspect-and strategy-oriented programming language, named LARA, currently under development. the approach considers that the weavers in the tool chain use those safety requirements specified as aspects and strategies to produce final implementations according to specific design patterns. this paper presents our approach including LARA-based examples using an avionics application targeting the FPGA-based embedded systems consisting of a general purpose processor (GPP) coupled to custom computing units.
this paper presents a methodology for implementing natural language morphology in the functional language Haskell. the main idea behind is simple: instead of working with untyped regular expressions, which is the stat...
详细信息
this paper presents a methodology for implementing natural language morphology in the functional language Haskell. the main idea behind is simple: instead of working with untyped regular expressions, which is the state of the art of morphology in computational linguistics, we use finite functions over hereditarily finite algebraic datatypes. the definitions of these datatypes and functions are the language-dependent part of the morphology. the language-independent part consists of an untyped dictionary format which is used for synthesis of word forms, and a decorated trie, which is used for analysis. functional Morphology builds on ideas introduced by Huet in his computational linguistics toolkit Zen, which he has used to implement the morphology of Sanskrit. the goal has been to make it easy for linguists, who are not trained as functional programmers, to apply the ideas to new languages. As a proof of the productivity of the method, morphologies for Swedish, Italian, Russian, Spanish, and Latin have already been implemented using the library. the Latin morphology is used as a running example in this article.
Support logic programming and its practical implementation (Fril) integrates probabilistic and fuzzy uncertainty into logic programming using mass assignments. this paper presents a snapshot of current research, aimed...
详细信息
ISBN:
(纸本)0780370783
Support logic programming and its practical implementation (Fril) integrates probabilistic and fuzzy uncertainty into logic programming using mass assignments. this paper presents a snapshot of current research, aimed at combining the best aspects of inductive logic programming withthe uncertainty representation of Fril to create a sophisticated and novel approach to knowledge discovery. An example is given showing how a supported Fril rule can be extracted from uncertain Fril relations.
the URI Online Judge Academic is an online tool that assists professors in programming classes and motivates students to practice more and to go beyond the theoretical base learned in class and, as a result, helps the...
详细信息
ISBN:
(纸本)9781479929511
the URI Online Judge Academic is an online tool that assists professors in programming classes and motivates students to practice more and to go beyond the theoretical base learned in class and, as a result, helps them sharpen their logical, algorithmically and programming skills. the Academic module enables professors to manage disciplines and lists of exercises on specific programming topics in a visual and organized online environment that presents several benefits compared to the traditional method of handwritten lists. the purpose of this article is to introduce the features and the benefits available in version 3.0 of the tool.
In this paper a review of existing computer aided language learning paradigms are considered and analyzed. the symbolic programming paradigm was introduced and proposed as one to compensate for existing gaps. An examp...
详细信息
ISBN:
(纸本)9789665335870
In this paper a review of existing computer aided language learning paradigms are considered and analyzed. the symbolic programming paradigm was introduced and proposed as one to compensate for existing gaps. An example of syntax analyzer for the Swedish language is included.
We developed an Eclipse plugin tool for learning the programming style of Java. the tool has the following functions: (1) recommends using CamelCase and English words for the names of classes, methods, and variables;(...
详细信息
ISBN:
(纸本)9781479929511
We developed an Eclipse plugin tool for learning the programming style of Java. the tool has the following functions: (1) recommends using CamelCase and English words for the names of classes, methods, and variables;(2) points out incorrect scope levels of variables and inappropriate lengths of variable names;(3) recommends writing comments in source programs;(4) shows sample source programs in the Java programming style. the evaluation results show the tool is efficient for learning the programming style of Java.
functional Reactive programming (FRP) has come to mean many things. Yet, scratch the surface of the multitude of realisations, and there is great commonality between them. this paper investigates this commonality, tur...
详细信息
ISBN:
(纸本)9781450344340
functional Reactive programming (FRP) has come to mean many things. Yet, scratch the surface of the multitude of realisations, and there is great commonality between them. this paper investigates this commonality, turning it into a mathematically coherent and practical FRP realisation that allows us to express the functionality of many existing FRP systems and beyond by providing a minimal FRP core parameterised on a monad. We give proofs for our theoretical claims and we have verified the practical side by bench-marking a set of existing, non-trivial Yampa applications running on top of our new system with very good results.
Motivate students is one of the biggest challenges that teachers have to face, in general and in particular in programming courses. In this article two techniques, aimed at supporting the teaching of programming, are ...
详细信息
ISBN:
(纸本)9789897582394
Motivate students is one of the biggest challenges that teachers have to face, in general and in particular in programming courses. In this article two techniques, aimed at supporting the teaching of programming, are discussed: program animation, and automatic evaluation of programs. Based on the combination of these techniques and their currently available tools, we will describe two possible approaches to increase motivation and improve the success. the conclusions of a first experiment conducted in the classroom will be presented. PEP, a Web-based tool that implements one of the approaches proposed, will be introduced.
By boosting computer processing capability, quantum computing will transform digital usage in the upcoming years. the development of the quantum computer and the advancement to the several thousand Qubits involved in ...
详细信息
暂无评论