Browse Research and Tech Reports - Computer Science by Title

  • Wichadakul, Duangdao; Nahrstedt, Klara (2004-06)
    The reusability of available multimedia and middleware services brings new challenges for enabling flexible and efficient development and deployment of distributed end-to-end multimedia applications with specific ...

    application/pdf

    application/pdfPDF (813Kb)
  • Jin, Jingwen (2005-12)
    Component-based software development has evolved from tightly coupled object-oriented style to loosely coupled service-oriented style in the past few years. The new service-oriented paradigm will eventually allow heterogeneous ...

    application/pdf

    application/pdfPDF (1Mb)
  • Dong, Shen; Bremer, Peer-Timo; Garland, Michael; Pascucci, Valerio; Hart, John C. (2005-06)
    Resampling raw surface meshes is one of the most fundamental operations used by nearly all digital geometry processing systems. The vast majority of work in the past has focused on triangular remeshing; the equally important ...

    application/pdf

    application/pdfPDF (9Mb)
  • Garland, Michael; Zhou, YuanYuan (2004-06)
    We present a new method for simplifying simplicial complexes of any type embedded in Euclidean spaces of any dimension. At the heart of this system is a novel generalization of the quadric error metric used in surface ...

    application/pdf

    application/pdfPDF (12Mb)
  • Dong, Shen (2007-12)
    Surface remeshing is a fundamental problem in computer graphics, and can be found in most digital geometry processing systems. The majority of work in this area has focused on remeshing with triangle elements, yet quadrilateral ...

    application/pdf

    application/pdfPDF (33Mb)
  • Yi, Seung; Harris, Albert F., III; Kravets, Robin (2007-08)
    With the emergence of ad hoc networking technology came efforts to provide necessary security support for ad hoc networks. However, due to challenging characteristics of ad hoc environments, providing the same level of ...

    application/pdf

    application/pdfPDF (204Kb)
  • Clark, Robert (2008-10)
    We present a novel solution to streaming XPath query evaluation, capable of supporting forward and reverse axes queries. We show a conversion of an XPath query to a Visibly Pushdown Automaton that preserves the semantics ...

    application/pdf

    application/pdfPDF (129Kb)
  • Clark, Robert (2008-10)
    We present a novel solution to streaming XPath query evaluation, capable of supporting forward and reverse axes queries. We show a conversion of an XPath query to a Visibly Pushdown Automaton that preserves the semantics ...

    application/pdf

    application/pdfPDF (129Kb)
  • Ganesan, Kavita (2006)
    Vector Based Text Classification in the Question Answering field has long been explored. However, there has not been any attempt so far to take word senses into consideration in the development of the feature sets in the ...

    application/pdf

    application/pdfPDF (88Kb)
  • Colombi, Andrew C. (2008-08)
    Numerical integration of ordinary differential equations resulting from the gravitation of nearby celestial small bodies is the subject of this thesis. We present three methods that alleviate the computational burden of ...

    application/pdf

    application/pdfPDF (4Mb)
  • Colombi, Andrew C. (2008-08)
    Numerical integration of ordinary differential equations resulting from the gravitation of nearby celestial small bodies is the subject of this thesis. We present three methods that alleviate the computational burden of ...

    application/pdf

    application/pdfPDF (4Mb)
  • Pae, Sung-il (2005-05)
    We study random number generation using a biased source motivated by previous works on this topic, mainly, von Neumman (1951), Elias (1972), Knuth and Yao (1976) and Peres (1992). We study the problem in two cases: first, ...

    application/pdf

    application/pdfPDF (500Kb)
  • Liang, Jin; Nahrstedt, Klara (2005-05)
    Many Peer-to-peer (P2P) applications such as media broadcasting and content distribution require a high performance overlay structure in order to deliver satis- fying quality of service (QoS). Previous approaches to building ...

    application/pdf

    application/pdfPDF (186Kb)
  • Li, Chengkai; Chang, Kevin Chen-Chuan; Ilyas, Ihab F.; Song, Sumin (2004-07)
    This paper introduces RankSQL, a system that provides a systematic and principled framework to support efficient evaluations of ranking (top-k) queries in relational database systems (RDBMS), by extending relational algebra ...

    application/pdf

    application/pdfPDF (543Kb)
  • Chen, Chun-cheng; Seo, Eunsoo; Luo, Haiyun; Vaidya, Nitin H. (2006-06)
    The majority of existing wireless rate controls are based on the implicit assumption that frames are corrupted due to the random, arbitrary environmental and thermal noises. They generally reduce the channel rate on frame ...

    application/pdf

    application/pdfPDF (659Kb)
  • Rosu, Grigore; Stefanescu, Andrei; Ciobaca, Stefan; Moore, Brandon (2012-07)
    Abstract. This paper introduces *reachability logic*, a language-independent seven-rule proof system for deriving reachability properties of systems. The key ingredients of *reachability logic* are its sentences, which are ...

    application/pdf

    application/pdfPDF (358Kb)
  • Stefanescu, Andrei; Ciobaca, Stefan; Moore, Brandon; Serbanuta, Traian Florin; Rosu, Grigore (2013-11)
    This paper presents a language-independent proof system for reachability properties of programs written in non-deterministic (concurrent) languages, referred to as reachability logic. The proof system derives partial-correctness ...

    application/pdf

    application/pdfPDF (237Kb)
  • Hu, Chunyu; Hou, Jennifer C. (2005-03)
    A major problem with leveraging event-driven, packet-level simulation environments, such as ns2 [15], J-Sim [1], OpNet [3]), and QualNet [4]), in conducting wireless network simulation is the vast number of events generated, ...

    application/pdf

    application/pdfPDF (176Kb)
  • Yang, Zhenyu; Cui, Yi; Anwar, Zahid; Bocchino, Robert L., Jr.; Kiyanclar, Nadir; Nahrstedt, Klara; Campbell, Roy H.; Yurcik, William (2005-08)
    Tele-immersive system can improve the productivity and aid communication by allowing distributed parties to exchange information via a shared immersive experience. The TEEVE research project at the University of Illinois ...

    application/pdf

    application/pdfPDF (568Kb)
  • Wang, Qixin (2008-08)
    By converging the cyber world with the physical world, Cyber-Physical Systems (CPS) is expected to create a great impact on computer science and the society. This thesis proposes several real-time building blocks for CPS ...

    application/pdf

    application/pdfPDF (4Mb)