*Ingenierías y Ciencias de la Computación (Proyecto VLIR): Recent submissions

  • Word sense disambiguation 
    Navigli Roberto (Association for Computing Machinery (ACM), 2009)
    Word sense disambiguation (WSD) is the ability to identify the meaning of words in context in a computational manner. WSD is considered an AI-complete problem, that is, a task whose solution is at least as hard as the most ...
  • Chemoinformatics—an introduction for computer scientists 
    Brown Nathan (Association for Computing Machinery (ACM), 2009)
    Chemoinformatics is an interface science aimed primarily at discovering novel chemical entities that will ultimately result in the development of novel treatments for unmet medical needs, although these same methods are ...
  • Comments on Temporal Logics for Real-Time System Specification MATTEO PRADELLA 
    Furia Carlo A; Ricerche Consiglio Nazionale Delle; Rossi Matteo (2009)
    The article " Temporal Logics for Real-Time System Specification " surveys some of the relevant literature dealing with the use of temporal logics for the specification of real-time systems. Unfortunately, it introduces ...
  • A rendezvous of logic, complexity, and algebra 
    Chen Hubie (Association for Computing Machinery (ACM), 2009)
    An emerging area of research studies the complexity of constraint satisfaction problems under restricted constraint languages. This article gives a self-contained, contemporary presentation of Schaefer's theorem on Boolean ...
  • Cross-disciplinary perspectives on meta-learning for algorithm selection 
    Smith-Miles Kate A. (Association for Computing Machinery (ACM), 2008)
    The algorithm selection problem [Rice 1976] seeks to answer the question: Which algorithm is likely to perform best for my problem? Recognizing the problem as a learning task in the early 1990's, the machine learning ...
  • Statistical machine translation 
    Lopez Adam (Association for Computing Machinery (ACM), 2008)
    Statistical machine translation (SMT) treats the translation of natural language as a machine learning problem. By examining many samples of human-produced translation, SMT algorithms automatically learn how to translate. ...
  • Decentralized access control in distributed file systems 
    Miltchev Stefan; Smith Jonathan M; Prevelakis Vassilis; Keromytis Angelos; Miltchev S (2008)
    The Internet enables global sharing of data across organizational boundaries. Distributed file systems facilitate data sharing in the form of remote file access. However, traditional access control mechanisms used in ...
  • Quantum cryptography 
    Bruss Dagmar; Erdélyi Gábor; Meyer Tim; Riege Tobias; Rothe Jörg (Association for Computing Machinery (ACM), 2007)
    We survey some results in quantum cryptography. After a brief introduction to classical cryptography, we provide the quantum-mechanical background needed to present some fundamental protocols from quantum cryptography. In ...
  • PL-detective: A system for teaching programming language concepts 
    Diwan Amer; Waite William M; Jackson Michele H; Dickerson Jacob (2005)
    The educational literature recognizes that people go through a number of stages in their intellectual development. During the first stage, called received knowledge or dualism, people expect knowledge to be handed to them ...
  • Empirical foundation of central concepts for computer science education 
    Zendler Andreas; Spannagel Christian (Association for Computing Machinery (ACM), 2008)
    The design of computer science curricula should rely on central concepts of the discipline rather than on technical short-term developments. Several authors have proposed lists of basic concepts or fundamental ideas in the ...
  • The string edit distance matching problem with moves 
    Cormode Graham; Muthukrishnan S. (Association for Computing Machinery (ACM), 2007)
    The edit distance between two strings S and R is defined to be the minimum number of character inserts, deletes, and changes needed to convert R to S. Given a text string t of length n, and a pattern string p of length m, ...
  • Reducing abstraction in high school computer science education 
    Sakhnini Victoria; Hazzan Orit (Association for Computing Machinery (ACM), 2008)
    The research presented in this article deals with the difficulties and mental processes involved in the definition, implementation, and use of abstract data types encountered by 12 th grade advanced-level computer science ...
  • A synthesis-oriented VHDL course 
    d’Amore Roberto (Association for Computing Machinery (ACM), 2010)
    This article proposes a VHDL language course that establishes a strong correlation between the language statements and their use in circuit synthesis. Two course modules are described: a basic module that contains the ...
  • Sentence-based natural language plagiarism detection 
    White Daniel R; Joy Mike S (2005)
    With the increasing levels of access to higher education in the United Kingdom, larger class sizes make it unrealistic for tutors to be expected to identify instances of peer-to-peer plagiarism by eye and so automated ...
  • ThreadMentor: A pedagogical tool for multithreaded programming 
    Carr Steve; Mayo Jean; Shene Ching-Kuang (2003)
    ThreadMentor is a multiplatform pedagogical tool designed to ease the difficulty in teaching and learning multithreaded programming. It consists of a C++ class library and a visualization system. The class library supports ...
  • Data grid management systems 683 683 
    Jagatheesan Arun; Rajasekar Arcot (2003)
    Data Grids are being built across the world as the next generation data handling systems to manage peta-bytes of inter-organizational data and storage space. A data grid (data-grid) is a logical name space consisting of ...
  • Generation of problems, answers, grade, and feedback – case study of a fully automated tutor 
    AMRUTH N. KUMAR null (2006)
    Researchers and educators have been developing tutors to help students learn by solving problems. The tutors vary in their ability to generate problems, generate answers, grade student answers, and provide feedback. At one ...
  • Moving digital libraries into the student learning space: The getSmart experience 
    Marshall Byron B; Shen Rao; Fox Edward A (2007)
    The GetSmart system was built to support theoretically sound learning processes in a digital library environment by integrating course management, digital library, and concept mapping components to support a constructivist, ...
  • Pyro: A python-based versatile programming environment for teaching robotics 
    Douglas; Kumar Deepak; College Bryn Mawr (2005)
    In this article we describe a programming framework called Pyro, which provides a set of abstractions that allows students to write platform-independent robot programs. This project is unique because of its focus on the ...
  • An infrastructure for web-based computer-assisted learning 
    Joy Mike; Muzykantskii Boris; Rawles Simon; Evans Michael (2003)
    We describe an initiative under way at Warwick to provide a technical foundation for computer-aided learning and computer-assisted assessment tools, which allows a rich dialogue sensitive to individual students' response ...

Search DSpace


Browse

My Account