We present the thesaurus-based indexing technology developed by the Center for Information Research under the Information System RUSSIA project. The technology is based on using b...
Boris V. Dobrov, Natalia V. Loukachevitch, Tatyana...
This work presents a collaborative educational game, Time2Play, developed in Second Life, which allows the creation of stories in a collaborative fashion, offering a new form of ex...
In the present paper we give account of an effort that aimed at the unification of the whole geometric preprocessing that preceded the wind tunnel readings with a realistic airpla...
We propose a new quantifier elimination algorithm for the theory of linear real arithmetic. This algorithm uses as subroutines satisfiability modulo this theory and polyhedral pro...
Today's networks are becoming increasingly complex and the ability to effectively and efficiently operate and manage them is ever more challenging. Ways to provide end-to-end...