Sciweavers

283 search results - page 34 / 57
» Foreword from the Editors
Sort
View
FMCO
2008
Springer
133views Formal Methods» more  FMCO 2008»
14 years 11 months ago
BML and Related Tools
The Bytecode Modeling Language (BML) is a specication for Java bytecode, that provides a high level of abstraction, while not restricting the format of the bytecode. Notably, BML s...
Jacek Chrzaszcz, Marieke Huisman, Aleksy Schubert
SEMWIKI
2008
150views Data Mining» more  SEMWIKI 2008»
14 years 11 months ago
Mathematical Semantic Markup in a Wiki: The Roles of Symbols and Notations
Abstract. We present semantic markup as a way to exploit the semantics of mathematics in a wiki. Semantic markup makes mathematical knowledge machine-processable and thus allows fo...
Christoph Lange 0002
AVI
2004
14 years 11 months ago
Xface: MPEG-4 based open source toolkit for 3D Facial Animation
In this paper, we present our open source, platform independent toolkit for developing 3D talking agents, namely Xface. It relies on MPEG-4 Face Animation (FA) standard. The toolk...
Koray Balci
CRIWG
2004
14 years 11 months ago
Distributed Dynamic-Locking in Real-Time Collaborative Editing Systems
In this paper, a Customizable and Dynamic Locking (CDL) scheme is proposed for concurrency control in Internet-based real-time collaborative editors. The idea of dynamic-locking is...
Xianghua Xu, Jiajun Bu, Chun Chen, Yong Li 0004
COLING
2000
14 years 11 months ago
XML and Multilingual Document Authoring: Convergent Trends
Typical approaches to XML authoring view a XML document as a mixture of structure (the tags) and surface (text between the tags). We advocate a radical approach where the surface ...
Marc Dymetman, Veronika Lux, Aarne Ranta