Sturm-Triggs iteration is a standard method for solving the projective factorization problem. Like other iterative algorithms, this method suffers from some common drawbacks such ...
FrameNet is a three-year NSF-supported project in corpus-based computational lexicography, now in its second year NSF IRI-9618838, Tools for Lexicon Building". The project...
Collin F. Baker, Charles J. Fillmore, John B. Lowe
The resource-constrained project scheduling problem (RCPSP) consists of activities that must be scheduled subject to precedence and resource constraints such that the makespan is ...
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
Let A and B be nonempty, convex and closed subsets of a Hilbert space H. In the practical considerations we need to find an element of the intersection A B or, more general, to s...