At present, adapting an Information Extraction system to new topics is an expensive and slow process, requiring some knowledge engineering for each new topic. We propose a new paradigm of Information Extraction which operates 'on demand' in response to a user's query. On-demand Information Extraction (ODIE) aims to completely eliminate the customization effort. Given a user’s query, the system ...

Termination of a heap-manipulating program generally depends on preconditions that express heap assumptions (i.e., assertions describing reachability, aliasing, separation and sharing in the heap). We present an algorithm for the inference of such preconditions. The algorithm exploits a unique interplay between counterexample-producing abstract termination checker and shape analysis. The shape ...

Based on the emerging technologies such as electronic imaging technology, data storage and retrieval technology, and network technologies, the publishing world will employ integrated, open, intelligent, on-demand, and just-in-time systems.

In this paper we investigate the online video on demand problem, namely having to accept or reject a request for a movie without knowing the future requests. We present online movie-scheduling schemes that implement the principles of refusal by choice and delayed noti cation. A novel way to schedule movies that exploits the knowledge of the distribution of the preference of requests for movies,...

Currently, e-Science applications run on dedicated computing platforms. The scientific/e-Science computing community developed the Grid to share resources and maximize compute capacity available for e-Science applications. Applications exist that incidentally have urgent high demand for compute capacity, for example in case of emergencies. Also, some researches need to do experiments with Grid ...

Electronic confinement at nanoscale dimensions remains a central means of science and technology. We demonstrate nanoscale lateral confinement of a quasi-two-dimensional electron gas at a lanthanum aluminate-strontium titanate interface. Control of this confinement using an atomic force microscope lithography technique enabled us to create tunnel junctions and field-effect transistors with char...

The Semantic Web aims at adding semantic knowledge into the web of natural language hypertext, enabling deep-level information search and information integration. However, building a knowledge base and an ontology is so costly and time-consuming that it hampers the progress of the Semantic Web activity. We present a method for building ontologies on demand from scientific queries by applying te...

This paper describes a sound technique that combines the precision of theorem proving with the loop-invariant inference of abstract interpretation. The loop-invariant computations are invoked on demand when the need for a stronger loop invariant arises, which allows a gradual increase in the level of precision used by the abstract interpreter. The technique generates loop invariants that are sp...