We present an approach to developing a coherent program synthesis system which integrates a variety of interactively controlled and automated techniques from theorem proving and algorithm development at different levels of abstraction. Besides providing an overall view of the approach we summarize the individual research results achieved in the course of this development. In particular we shall...

The divisive MinMaxCut algorithm of Ding et al. [3] produces more accurate clustering results than existing document cluster methods. Multilevel algorithms [4, 1, 5, 7] have been used to boost the speed of graph partitioning algorithms. We combine these two algorithms to construct faster and more accurate algorithm. In this new algorithm, the original graph is coarsened, partitioned by the divi...

We present an approach to a coherent program synthesis system which integrates a variety of interactively controlled and automated techniques from theorem proving and algorithm design at diierent levels of abstraction. Besides providing an overall view we summarize the individual research results achieved in the course of this development.

This paper looks at integrating dependency and constituency into a common framework, using the TAG formalism and a diierent perspective on the meta-grammar of (Dras, 1999) in which the grammar is viewed as a single yield function. This framework gives consistent dependency analyses of raising verbs interacting with bridge verbs, solving a problem in Synchronous TAG; and in a completely diierent...

This paper looks at integrating dependency and constituency into a common framework, using the TAG formalism and a different perspective on the metagrammar of (Dras, 1999) in which the meta level models dependencies and the object level model constituency. This framework gives consistent dependency analyses of raising verbs interacting with bridge verbs, solving a problem in Synchronous TAG. An...

An alternate approach to emergency risk minimization, based on lazy calculations and high-level functional interpretation is presented in this article. This approach is compared with classical imperative approach, based on statistical analysis on real data in order to prove its effectiveness.

This paper presents a Taylor series approach for solving linear fractional de-centralized bi-level multi-objective decision-making (LFDBL-MODM) problems with asingle decision maker at the upper level and multiple decision makers at the lower level.In the proposed approach, the membership functions associated with each objective(s) ofthe level(s) of LFDBL-MODM are transformed by using a Taylor s...