Sciweavers

4600 search results - page 304 / 920
» Presentation Of The Eurolang Project
Sort
View
149
Voted
TREC
1997
15 years 8 months ago
Conceptual Indexing Using Thematic Representation of Texts
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...
199
Voted
CRIWG
2009
15 years 8 months ago
Enacting Collaboration via Storytelling in Second Life
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...
Andréia R. Pereira, Katia Cánepa, Vi...
CAGD
2008
109views more  CAGD 2008»
15 years 7 months ago
Application of B-spline techniques to the modeling of airplane wings and numerical grid generation
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...
Karl-Heinz Brakhage, Philipp Lamby
155
Voted
CORR
2008
Springer
128views Education» more  CORR 2008»
15 years 7 months ago
A Quantifier Elimination Algorithm for Linear Real Arithmetic
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...
David Monniaux
CN
2008
108views more  CN 2008»
15 years 6 months ago
An approach to the identification of network elements composing heterogeneous end-to-end paths
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...
Alessio Botta, Antonio Pescapè, Giorgio Ven...