OpenBU

Browsing CAS: Computer Science: Technical Reports by Title

OpenBU

Browsing CAS: Computer Science: Technical Reports by Title

Sort by: Order: Results:

  • Xi, Hongwei; Zhu, Dengping; Li, Yanka (Boston University Computer Science Department, 2005-02-10)
    We present a type system that can effectively facilitate the use of types in capturing invariants in stateful programs that may involve (sophisticated) pointer manipulation. With its root in a recently developed framework ...
  • Bash, Boulat A.; Byers, John W.; Considine, Jeffrey (Boston University Computer Science Department, 2004-07-19)
    Recent work in sensor databases has focused extensively on distributed query problems, notably distributed computation of aggregates. Existing methods for computing aggregates broadcast queries to all sensors and use ...
  • Tian, Tai-Peng; Li, Rui; Sclaroff, Stan (Boston University Computer Science Department, 2005-07-07)
    A learning based framework is proposed for estimating human body pose from a single image. Given a differentiable function that maps from pose space to image feature space, the goal is to invert the process: estimate the ...
  • Boddapati, Gowtham; Day, John; Matta, Ibrahim; Chitkushev, Lou (Boston University Computer Science Department, 2009-06-22)
    The TCP/IP architecture was originally designed without taking security measures into consideration. Over the years, it has been subjected to many attacks, which has led to many patches to counter them. Our investigations ...
  • Li, Feifei; Hadjieleftheriou, Marios; Kollios, George; Reyzin, Leonid (Boston University Computer Science Department, 2006-07-20)
    In an outsourced database system the data owner publishes information through a number of remote, untrusted servers with the goal of enabling clients to access and query the data more efficiently. As clients cannot trust ...
  • Li, Feifei; Hadjieleftheriou, Marios; Kollios, George; Reyzin, Leonid (Boston University Computer Science Department, 2006-04-22)
    In outsourced database (ODB) systems the database owner publishes its data through a number of remote servers, with the goal of enabling clients at the edge of the network to access and query the data more efficiently. As ...
  • Erdem, Ugur Murat; Sclaroff, Stan (Boston University Computer Science Department, 2004-04-15)
    In many multi-camera vision systems the effect of camera locations on the task-specific quality of service is ignored. Researchers in Computational Geometry have proposed elegant solutions for some sensor location problem ...
  • Sclaroff, Stan; Erdem, Ugur Marat (Boston University Computer Science Department, 2003-12-08)
    In many multi-camera vision systems the effect of camera locations on the task-specific quality of service is ignored. Researchers in Computational Geometry have proposed elegant solutions for some sensor location problem ...
  • Yuan, Quan; Sclaroff, Stan; Athitsos, Vassilis (Boston University Computer Science Department, 2004-11-02)
    In gesture and sign language video sequences, hand motion tends to be rapid, and hands frequently appear in front of each other or in front of the face. Thus, hand location is often ambiguous, and naive color-based hand ...
  • Betke, Margrit; Hong, Harrison; Ko, Jane P. (Boston University Computer Science Department, 2001)
    We developed an automated system that registers chest CT scans temporally. Our registration method matches corresponding anatomical landmarks to obtain initial registration parameters. The initial point-to-point registration ...
  • Erdem, Ugur Murat; Sclaroff, Stan (Boston University Computer Science Department, 2002)
    An automated system for detection of head movements is described. The goal is to label relevant head gestures in video of American Sign Language (ASL) communication. In the system, a 3D head tracker recovers head rotation ...
  • Bradley, Adam D.; Bestavros, Azer (Boston University Computer Science Department, 2001-10-30)
    With web caching and cache-related services like CDNs and edge services playing an increasingly significant role in the modern internet, the problem of the weak consistency and coherence provisions in current web protocols ...
  • Barman, Dhiman; Matta, Ibrahim (Boston University Computer Science Department, 2003-12-03)
    (This Technical Report revises TR-BUCS-2003-011) The Transmission Control Protocol (TCP) has been the protocol of choice for many Internet applications requiring reliable connections. The design of TCP has been challenged ...
  • Fonseca, Nahur; Crovella, Mark (Boston University Computer Science Department, 2004-07-06)
    One of TCP's critical tasks is to determine which packets are lost in the network, as a basis for control actions (flow control and packet retransmission). Modern TCP implementations use two mechanisms: timeout, and fast ...
  • Kfoury, A.J. (Boston University Computer Science Department, 1996-07-08)
    We define a unification problem ^UP with the property that, given a pure lambda-term M, we can derive an instance Gamma(M) of ^UP from M such that Gamma(M) has a solution if and only if M is beta-strongly normalizable. ...
  • Martin, David M.; Rajagopalan, Sivaramakrishnan; Rubin, Aviel D. (Boston University Computer Science Department, 1996-10-29)
    This paper explores the problem of protecting a site on the Internet against hostile external Java applets while allowing trusted internal applets to run. With careful implementation, a site can be made resistant to current ...
  • Athitsos, Vassilis; Sclaroff, Stan (Boston University Computer Science Department, 2004-02-13)
    This paper introduces an algorithm that uses boosting to learn a distance measure for multiclass k-nearest neighbor classification. Given a family of distance measures as input, AdaBoost is used to learn a weighted distance ...
  • Athitsos, Vassilis; Alon, Jonathan; Sclaroff, Stan; Kollios, George (Boston University Computer Science Department, 2003-11-24)
    This paper introduces BoostMap, a method that can significantly reduce retrieval time in image and video database systems that employ computationally expensive distance measures, metric or non-metric. Database and query ...
  • Fenner, S.; Green, F.; Homer, S.; Zhang, Y. (Boston University Computer Science Department, 2004-01-12)
    We show that if a language is recognized within certain error bounds by constant-depth quantum circuits over a finite family of gates, then it is computable in (classical) polynomial time. In particular, our results imply ...
  • Medina, Alberto; Matta, Ibrahim; Byers, John (Boston University Computer Science Department, 2000-01-21)
    BRITE is a parametrized topology generation tool, which can be used to flexibly control various parameters (such as connectivity and growth models) and study various properties of generated topologies (such power laws, ...

Search OpenBU


Browse

Deposit Materials

Statistics