This thesis presents SodaBot, a general-purpose software agent user-environment and construction system. Its primary component is the basic software agent --- a computational framework for building agents which is ...

This paper introduces soft objects, a new paradigm for object oriented programming. This paradigm replaces the traditional notion of object classes with the specification of transforming procedures which transform ...

Computer scientists must align social and technical factors for communication technologies in developing regions yet lack a framework to do so. The novel Softbridge framework comprises several components to address this ...

Computer scientists must align social and technical factors for communication technologies in developing regions yet lack a framework to do so. The novel Softbridge framework comprises several components to address this ...

Video broadcast and mobile video challenge the conventional wireless design. In broadcast and mobile scenarios the bit rate supported by the channel differs across receivers and varies quickly over time. The conventional ...

The main challenge in wireless video multicast is to scalably serve multiple receivers who have different channel characteristics. Current wireless transmission schemes, however, cannot support smooth degradation. Specifically, ...

At ever-increasing rates, we are using wireless systems to communicatewith others and retrieve content of interest to us. Current wirelesstechnologies such as WiFi or Zigbee use forward error correction todrive bit error ...

Multicore chips will have large amounts of fast on-chip cache memory, along with relatively slow DRAM interfaces. The on-chip cache memory, however, will be fragmented and spread over the chip; this distributed arrangement ...

More than a decade after becoming a topic of intense research there is no transactional memory hardware nor any examples of software transactional memory use outside the research community. Using software transactional ...

A frustrating aspect of the frequent changes to large VLSI CAD systems is that so little of the old available programs can be reused. It takes too much time and effort to find the reusable pieces and recast them for ...

Podcasting is fast gaining traction in developing regions as a means to augment classroom instruction. Commercial podcasting tools such as Apple’s Leopard Server, Tele-task and OpenEya, despite being successfully used in ...

We consider a class of quasi-variational inequalities (QVIs) for adaptive image restoration, where the adaptivity is described via solution-dependent constraint sets. In previous work we studied both theoretical and numerical ...

Free space is represented as a union of (possibly overlapping) generalized cones. An algorithm is presented which efficiently finds good collision free paths for convex polygonal bodies through space littered with ...

It is shown here that the equivalence class of an expression under the congruence closure of any finite set of equations between ground terms is a context free expression language. An expression is either a symbols or ...

Since mid July Steve Pauker, Jerome Kassirer, and I (Gerald Jay Sussman) have been observing the diagnostic process of expert physicians with the goal of abstracting the underlying procedures being followed. One purpose ...

A computer may gather a lot of information from its environment in an optical or graphical manner. A scene, as seen for instance from a TV camera or a picture, can be transformed into a symbolic description of points ...

A number of developments have taken place since the formulation of Marr and Poggio's theory of human stereo vision. In particular, these concern the shape of the underlying receptive fields, the control of eye movements ...

This paper gives some examples of the conceptual grammar approach to the representation of linguistic knowledge. First we give a short overview of the language we use to represent knowledge. Then we discuss an example ...

In this paper we present some extensions to the k-means algorithm for vector quantization that permit its efficient use in image segmentation and pattern classification tasks. It is shown that by introducing state ...