Browse Research and Tech Reports - Computer Science by Title

  • Jin, Dongyun; Meredith, Patrick O'Neil; Griffith, Dennis; Rosu, Grigore (2011-03-15)
    Parametric properties are behavioral properties over program events that depend on one or more parameters. Parameters are bound to concrete data or objects at runtime, which makes parametric properties particularly suitable ...

    application/pdf

    application/pdfPDF (1Mb)
  • Agarwal, Shivani; Graepel, Thore; Herbrich, Ralf; Har-Peled, Sariel; Roth, Dan (2004-05)
    We study generalization properties of the area under an ROC curve (AUC), a quantity that has been advocated as an evaluation criterion for bipartite ranking problems. The AUC is a different and more complex term than the ...

    application/pdf

    application/pdfPDF (375Kb)
  • Olson, Lars E.; Rosulek, Michael J.; Winslett, Marianne (2007-08)
    Need-to-know is a fundamental security concept: a party should not learn information that is irrelevant to its mission. In this paper we show that during a trust negotiation in which parties show their credentials to one ...

    application/pdf

    application/pdfPDF (345Kb)
  • Sarmiento, Alejandro (2004-12)
    This work addresses the problem of generating a motion strategy for solving a visibility-based task with a mobile robot equipped with sensors. In particular, the problem is to find a static object -- modeled with a probability ...

    application/pdf

    application/pdfPDF (2Mb)
  • Chitsaz, Hamid Reza (2008-01)
    As mobile robots operate with limited resources which they carry onboard in large obstructed environments, their success is dependent on how efficiently they move while they avoid collision with obstacles and other robots. ...

    application/pdf

    application/pdfPDF (1Mb)
  • Yoon, Man-Ki; Kim, Jung-Eun; Bradford, Richard; Sha, Lui (2012-05)
    Hierarchical scheduling of periodic resources has been increasingly applied to a wide variety of real-time systems due to its ability to accommodate various applications on a single system through strong temporal isolation. ...

    application/pdf

    application/pdfPDF (360Kb)
  • Popescu, Andrei; Rosu, Grigore (2006-07)
    Generic first-order logic (GFOL) is a first-order logic parameterized with terms defined axiomatically (rather than constructively), by requiring them to only provide generic notions of free variable and substitution ...

    application/pdf

    application/pdfPDF (567Kb)
  • Liu, Che-Bin (2006-05)
    This thesis considers the problem of modeling and analysis of continuous, locally-linear, multi-dimensional spatio-temporal data. Our work extends the previously reported theoretical work on the global coordination model ...

    application/pdf

    application/pdfPDF (3Mb)
  • Yuan, Wanghong (2004-07)
    Multimedia-enabled mobile devices, such as camera phones, need to support multimedia semantics with high quality of service (QoS) requirements under limited system resources such as CPU time and battery energy. On the other ...

    application/pdf

    application/pdfPDF (2Mb)
  • Sachs, Daniel Grobe; Yuan, Wanghong; Hughes, Christopher J.; Harris III, Albert F.; Adve, Sarita V.; Jones, Douglas L.; Kravets, Robin H.; Nahrstedt, Klara (2004-02)
    Mobile systems primarily processing multimedia data are expected to become important platforms for pervasive computing. These systems, however, must satisfy large, dynamic demands of multimedia applications subject to ...

    application/pdf

    application/pdfPDF (141Kb)
  • Cai, Deng; He, Xiaofei; Han, Jiawei (2008-02)
    Recently Non-negative Matrix Factorization (NMF) has received a lot of attentions in information retrieval, computer vision and pattern recognition. NMF aims to find two non-negative matrices whose product can well approximate ...

    application/pdf

    application/pdfPDF (109Kb)
  • Ji, Ming; Sun, Yizhou; Danilevsky, Marina; Han, Jiawei (2010-04-30)
    A heterogeneous information network is a network composed of multiple types of objects and links. Recently, it has been recognized that strongly-typed heterogeneous information networks are prevalent in the real world. ...

    application/pdf

    application/pdfPDF (242Kb)
  • Kapadia, Apu C.; Feng, Wu-chun (2004-02)
    GREEN is a stateless queue-management algorithm that removes TCP's bias against connections with longer round-trip times, resulting in a high degree of fairness while maintaining high link utilization, low packet loss, and ...

    application/pdf

    application/pdfPDF (440Kb)
  • Fesehaye, Debessay (2011-02-08)
    This is just a short abstract describing a simple extension of our previous work on efficient distributed file system (EDFS) for cloud computing. The extension, GreenEDFS, aims at making EDFS more energy efficient. The ...

    application/pdf

    application/pdfPDF (19Kb)
  • Fesehaye, Debessay (2010-12-16)
    In this short paper we make a simple extension of our previous work on efficient distributed file system (EDFS) for cloud computing to make it more energy efficient. Our GreenEDFS scheme uses the EDFS mechanism to ...

    application/pdf

    application/pdfPDF (6Kb)
  • Fesehaye, Debessay (2011-04-04)
    This is just a short abstract describing a simple extension of our previous work on efficient distributed file system (EDFS) for cloud computing. The extension, GreenEDFS, aims at making EDFS more energy efficient. The ...

    application/pdf

    application/pdfPDF (19Kb)
  • Kale, Vivek; Mukherjee, Jayanta; Gupta, Indranil (2010-06)
    -

    application/pdf

    application/pdfPDF (579Kb)
  • Dong, Shen; Kircher, Scott I.; Garland, Michael (2004-08)
    In this paper, we propose a new quadrilateral remeshing method for manifolds of arbitrary genus that is at once general, flexible, and efficient. Our technique is based on the use of smooth harmonic scalar fields defined ...

    application/pdf

    application/pdfPDF (3Mb)
  • Maguluri, Siva Theja; Srikant, R; Ying, Lei (2012)
    Cloud computing is emerging as an important platform for business, personal and mobile computing applications. In this paper, we study a stochastic model of cloud computing, where jobs arrive according to a stochastic ...

    application/pdf

    application/pdfPDF (316Kb)
  • Jia, Yuntao; Garland, Michael; Hart, John C. (2009)
    The hierarchical edge bundle method clusters the edges of a radial layout to better understand and analyze graphs, but its effectiveness relies critically on the quality of the hierarchical organization of its nodes and ...

    application/pdf

    application/pdfPDF (2Mb)