Search results for "computer.software_genre"

showing 10 items of 3858 documents

A framework for evaluating student interaction with automatically assessed exercises

2016

Automatic assessment has become a widely used technique in programming courses. Even though modern techniques can practically ensure functional correctness of student solutions, it is less clear how to promote quality interaction between students and the automatic assessment systems. In this article we propose a simple analytical framework for studying student interaction with the automatic assessment systems and use it to study our functional programming course.

Functional programmingCorrectnessMultimediabusiness.industryComputer sciencemedia_common.quotation_subject05 social sciencesLearning analytics050301 education02 engineering and technologycomputer.software_genre020204 information systemsComputingMilieux_COMPUTERSANDEDUCATION0202 electrical engineering electronic engineering information engineeringQuality (business)Software engineeringbusiness0503 educationcomputermedia_commonProceedings of the 16th Koli Calling International Conference on Computing Education Research
researchProduct

Towards CNC Programming Using Haskell

2004

Recent advances in Computerized Numeric Control (CNC) have allowed the manufacturing of products with high quality standards. Since CNC programs consist of a series of assembler-like instructions, several high-level languages (e.g., AutoLISP, APL, OMAC) have been proposed to raise the programming abstraction level. Unfortunately, the lack of a clean semantics prevents the development of formal tools for the analysis and manipulation of programs. In this work, we propose the use of Haskell for CNC programming. The declarative nature of Haskell provides an excellent basis to develop program analysis and manipulation tools and, most importantly, to formally prove their correctness.

Functional programmingCorrectnessProgramming languageSemantics (computer science)Computer sciencecomputer.software_genreFormal methodsProgram analysisHigh-level programming languageProgramming abstractionHaskellcomputerAutoLISPcomputer.programming_language
researchProduct

MLOG: a strongly typed confluent functional language with logical variables

1994

Poirriez, V., MLOG: a strongly typed confluent functional language with logical variables, Theoretical Computer Science 122 (1994) 201-223. A new programming language called MLOG is introduced. MLOG is a conservative extension of ML with logical variables. To validate our concepts, a compiler named CAML Light FLU0 was implemented. Numerous examples are presented to illustrate the possibilities of MLOG. The pattern matching of ML is kept for X-calculus bindings and an unification primitive is introduced for the logical variables bindings. A suspension mechanism allows cohabitation of pattern-matching and logical variables, Although the evaluation strategy for the application is fixed, the or…

Functional programmingEvaluation strategyTheoretical computer scienceGeneral Computer ScienceCamlUnificationcomputer.software_genreOperational semanticsTheoretical Computer ScienceAlgebraTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESConservative extensionPattern matchingCompilercomputercomputer.programming_languageMathematicsComputer Science(all)Theoretical Computer Science
researchProduct

The iconic interface for the PIctorial C language

2003

Iconic environments intend to provide expressive tools to implement, to debug and to execute programs. Moreover its pictorial constructs guide the user to design algorithms in an interactive fashion. Visual interfaces are especially required whenever programs run on an heterogeneous and reconfigurable multiprocessor system oriented to image analysis. Pictorial tools help the user to control the scope of variables, and the distribution of the tasks into the processors. In this paper, the general design, the visual-syntax, and the implementation of the first prototype of an iconic user interface for the PIctorial C Language (PICL) are described. >

Functional programmingSettore INF/01 - InformaticaInterface (Java)business.industryProgramming languageComputer sciencemedia_common.quotation_subjectcomputer.software_genreVisualizationDebuggingIconic Interface Visual languages visual programming Algorithm design and analysis Graphics Image analysis Computer languages Flowcharts Prototypes Visualization Functional programming AutomataGraphicsUser interfacebusinesscomputerScope (computer science)Graphical user interfacemedia_commonProceedings IEEE Workshop on Visual Languages
researchProduct

Mixed e-assessment: An application of the studentgenerated question technique

2010

This paper presents the experiment of a mixed summative-formative evaluation in an asynchronous distance higher education context. In the experiment, performed in the distance course of Total Quality Management, Industrial Engineering, University of Guadalajara (Mexico), students are guided to formultate questions on specific topics. Studentgenerated questions are evaluated through an ad-hoc quantitative tool, specifically designed for the purpose: the four-criterion Observation Matrix. The experiment shows: (1) that it is possible to improve the Higher Education evaluation process and formalise students' skill in a more thoroughly way than with traditional evaluation; (2) how the student-e…

Further educationEngineeringTotal quality managementHigher educationMultimediabusiness.industryProcess (engineering)3304Distance educationContext (language use)computer.software_genreTerminologyContinuous improvement in higher educationAsynchronous communicationComputingMilieux_COMPUTERSANDEDUCATIONMathematics educationDistance learningMixed formative-summative assessmentQuantitative assessment toolContinuous improvement in higher education; Distance learning; Mixed formative-summative assessment; Quantitative assessment tool; Electrical and Electronic Engineering; 3304Electrical and Electronic Engineeringbusinesscomputer
researchProduct

Fuzzy methods for analysing fuzzy production environment

1998

Abstract Very recently, in production management research literature, the necessity to extend production systems analysis techniques, such as queue theory, Mean Value Analysis (MVA) and discrete simulation, to Fuzzy Production Environments, i.e. to those production situations in which data are vague, has emerged. Fuzzy set theory is a powerful tool to model vagueness and, therefore, fuzzy mathematics can be used to extend classical production system analysis techniques. This paper proposes a methodology based on fuzzy relation algebra to extend classical MVA and discrete event simulation.

Fuzzy classificationFuzzy measure theorybusiness.industryGeneral MathematicsFuzzy setcomputer.software_genreDefuzzificationFuzzy logicIndustrial and Manufacturing EngineeringComputer Science ApplicationsControl and Systems EngineeringFuzzy mathematicsFuzzy set operationsFuzzy numberArtificial intelligenceData miningbusinesscomputerSoftwareMathematicsRobotics and Computer-Integrated Manufacturing
researchProduct

An integrated fuzzy cells-classifier

2007

This paper introduces a genetic algorithm able to combine different classifiers based on different distance functions. The use of a genetic algorithm is motivated by the fact that the combination phase is based on the optimization of a vote strategy. The method has been applied to the classification of four types of biological cells, results show an improvement of the recognition rate using the genetic algorithm combination strategy compared with the recognition rate of each single classifier.

Fuzzy classificationMeta-optimizationbusiness.industryPopulation-based incremental learningFuzzy setPattern recognitionMultiple classifiersMachine learningcomputer.software_genreFuzzy logicClusteringComputingMethodologies_PATTERNRECOGNITIONGenetic algorithmSignal ProcessingGenetic algorithmClassifier fusionFuzzy setComputer Vision and Pattern RecognitionArtificial intelligenceCluster analysisbusinessClassifier (UML)computerMathematics
researchProduct

A genetic integrated fuzzy classifier

2005

This paper introduces a new classifier, that is based on fuzzy-integration schemes controlled by a genetic optimisation procedure. Two different types of integration are proposed here, and are validated by experiments on real data sets of biological cells. The performance of our classifier is tested against a feed-forward neural network and a Support Vector Machine. Results show the good performance and robustness of the integrated classifier strategies.

Fuzzy classificationNeuro-fuzzyComputer scienceFuzzy setMachine learningcomputer.software_genreClassification Classifier Ensemble Evolutionary Algorithms.Artificial IntelligenceRobustness (computer science)Genetic algorithmCluster analysisAdaptive neuro fuzzy inference systemLearning classifier systemSettore INF/01 - InformaticaArtificial neural networkStructured support vector machinebusiness.industryPattern recognitionQuadratic classifierSupport vector machineComputingMethodologies_PATTERNRECOGNITIONSignal ProcessingMargin classifierFuzzy set operationsComputer Vision and Pattern RecognitionArtificial intelligencebusinesscomputerClassifier (UML)SoftwarePattern Recognition Letters
researchProduct

Fuzzy Classifier Based on Fuzzy Decision Tree

2007

A popular method for making a fuzzy decision tree for classification is Fuzzy ID3 algorithm. We introduce a new approach that uses cumulative information estimations of initial data. Based on these estimations we propose a new greedy version of fuzzy ID3 algorithm to be used to generate understandable fuzzy classification rules. The goal is to find a sequence of rules that causes near minimal classification costs.

Fuzzy classificationNeuro-fuzzybusiness.industryType-2 fuzzy sets and systemscomputer.software_genreMachine learningDefuzzificationComputingMethodologies_PATTERNRECOGNITIONInformation Fuzzy NetworksFuzzy numberFuzzy set operationsFuzzy associative matrixArtificial intelligenceData miningbusinesscomputerMathematicsEUROCON 2007 - The International Conference on "Computer as a Tool"
researchProduct

Combining one class fuzzy KNN’s

2007

This paper introduces a parallel combination of N > 2 one class fuzzy KNN (FKNN) classifiers. The classifier combination consists of a new optimization procedure based on a genetic algorithm applied to FKNN’s, that differ in the kind of similarity used. We tested the integration techniques in the case of N = 5 similarities that have been recently introduced to face with categorical data sets. The assessment of the method has been carried out on two public data set, the Masquerading User Data (www.schonlau.net) and the badges database on the UCI Machine Learning Repository (http://www.ics.uci.edu/~mlearn/). Preliminary results show the better performance obtained by the fuzzy integration …

Fuzzy classificationSettore INF/01 - InformaticaComputer sciencebusiness.industryPattern recognitioncomputer.software_genreFuzzy logicClassifier combinationComputingMethodologies_PATTERNRECOGNITIONGenetic algorithmFuzzy set operationsData miningArtificial intelligencebusinessfuzzy classificationCategorical variablecomputerFuzzy knnClassifier (UML)
researchProduct