Sciweavers

3346 search results - page 253 / 670
» A Generic Rendering System
Sort
View
LREC
2010
156views Education» more  LREC 2010»
15 years 8 months ago
A General Method for Creating a Bilingual Transliteration Dictionary
Transliteration is the rendering in one language of terms from another language (and, possibly, another writing system), approximating spelling and/or phonetic equivalents between...
Amit Kirschenbaum, Shuly Wintner
HAPTICS
2008
IEEE
15 years 6 months ago
DC Motor Damping: A Strategy to Increase Passive Stiffness of Haptic Devices
Abstract. Physically dissipative damping can increase the range of passive stiffness that can be rendered by a haptic device. Unlike simulated damping it does not introduce noise i...
Manohar B. Srikanth, Hari Vasudevan, Manivannan Mu...
IFIP
2004
Springer
15 years 12 months ago
PolyA: True Type Polymorphism for Mobile Ambients
Previous type systems for mobility calculi (the original Mobile Ambients, its variants and descendants, e.g., Boxed Ambients and Safe Ambients, and other related systems) offer lit...
Torben Amtoft, Henning Makholm, J. B. Wells
ESOP
2010
Springer
16 years 4 months ago
Weighted Dynamic Pushdown Networks
We develop a generic framework for the analysis of programs with recursive procedures and dynamic process creation. To this end we combine the approach of weighted pushdown systems...
Alexander Wenner
MODELS
2007
Springer
16 years 22 days ago
Model and Formalism Driven Development of Collaborative Applications
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
Bertrand T. David, René Chalon