Sciweavers

    ANOR
    2008
    127views more  ANOR 2008»
    Computer science and decision theory
    13 years 11 months ago
    Computer science and decision theory
    Download  dimacs.rutgers.edu
    This paper reviews applications in computer science that decision theorists have addressed for years, discusses the requirements posed by these applications that place great strai...
    Fred S. Roberts
    claim paper
    Read More »
    ALGORITHMICA
    2007
    118views more  ALGORITHMICA 2007»
    External-Memory Algorithms for Processing Line Segments in Geographic Information Systems
    13 years 11 months ago
    External-Memory Algorithms for Processing Line Segments in Geographic Information Systems
    Download  www.daimi.au.dk
    d abstract) Lars Arge1 , Darren Erik Vengroff2 , and Jeffrey Scott Vitter3 1 BRICS† , Department of Computer Science, University of Aarhus, Aarhus, Denmark 2 Department of Comp...
    Lars Arge, Darren Erik Vengroff, Jeffrey Scott Vit...
    claim paper
    Read More »
    ACTA
    2010
    109views more  ACTA 2010»
    On regular temporal logics with past
    13 years 11 months ago
    On regular temporal logics with past
    Download  www.inf.ethz.ch
    The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL an...
    Christian Dax, Felix Klaedtke, Martin Lange
    claim paper
    Read More »
    SIGCSE
    2010
    ACM
    181views Education» more  SIGCSE 2010»
    Internationalization of computer science education
    13 years 11 months ago
    Internationalization of computer science education
    Download  www.cpath-community.msu.edu
    Internationalization of computer science education involves incorporating awareness, knowledge and skills of professional life in a global environment. Through an NSF CPATH grant1...
    Sarah A. Douglas, Arthur M. Farley, Ginnie Lo, And...
    claim paper
    Read More »
    SIGCSE
    2010
    ACM
    203views Education» more  SIGCSE 2010»
    An approach to integrating ICTD projects into an undergraduate curriculum
    13 years 11 months ago
    An approach to integrating ICTD projects into an undergraduate curriculum
    Download  www.cs.washington.edu
    Applying information and communication technologies to development (ICTD) is emerging as an interesting and motivating research area in computer science and engineering. It spans ...
    Richard J. Anderson, Ruth E. Anderson, Gaetano Bor...
    claim paper
    Read More »
    CATA
    2010
    237views Computer Science» more  CATA 2010»
    A Hardware Implementation of the Advanced Encryption Standard (AES) Algorithm using SystemVerilog
    13 years 11 months ago
    A Hardware Implementation of the Advanced Encryption Standard (AES) Algorithm using SystemVerilog
    Download  www.synopsys.com
    In this paper, a hardware implementation of the AES128 encryption algorithm is proposed. A unique feature of the proposed pipelined design is that the round keys, which are consum...
    Bahram Hakhamaneshi, Behnam S. Arad
    claim paper
    Read More »
    SODA
    1992
    ACM
    123views Algorithms» more  SODA 1992»
    Computing Minimal Spanning Subgraphs in Linear Time
    14 years 7 hour ago
    Computing Minimal Spanning Subgraphs in Linear Time
    Download  www.cs.utexas.edu
    Let P be a property of undirected graphs. We consider the following problem: given a graph G that has property P, nd a minimal spanning subgraph of G with property P. We describe ...
    Xiaofeng Han, Pierre Kelsen, Vijaya Ramachandran, ...
    claim paper
    Read More »
    SNPD
    2003
    106views Artificial Intelligence» more  SNPD 2003»
    Telematics: A Distinctive Discipline
    14 years 6 days ago
    Telematics: A Distinctive Discipline
    Download  www.it.uc3m.es
    With the advance of knowledge, new disciplines are succesively identified. Computer Science has its roots in Babbage and others, but was identified as a separate discipline duri...
    Carlos Delgado Kloos, Arturo Azorra Soloña
    claim paper
    Read More »
    PUK
    2003
    135views Computer Science» more  PUK 2003»
    Modeling in an Architectural Variability Description Language
    14 years 6 days ago
    Modeling in an Architectural Variability Description Language
    Download  www-is.informatik.uni-oldenburg.de
    In order to handle the large amount of variability in product families, automated product derivation support is desirable. To make automated product derivation possible one importa...
    Theo Dirk Meijler, Silvie Schoenmaker, Egbert de R...
    claim paper
    Read More »
    PUK
    2003
    136views Computer Science» more  PUK 2003»
    Towards Evolving Configuration Models
    14 years 6 days ago
    Towards Evolving Configuration Models
    Download  www-is.informatik.uni-oldenburg.de
    Thorsten Krebs, Lothar Hotz, K. Christoph Ranze, G...
    claim paper
    Read More »
    « first‹ previous…5678910111213…next ›last »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.