Sciweavers

425 search results - page 42 / 85
» Rendering Natural Waters
Sort
View
WWW
2001
ACM
14 years 9 months ago
Supporting Deaf Sign Languages in Written Form on the Web
The SSiiggnnWWrritiitinngg system is a writing system for deaf sign languages. SSWWMMLL (SignWriting Markup Language) is an XML-based format that we are developing for the storage...
Antônio Carlos da Rocha Costa, Graçal...
CICLING
2007
Springer
14 years 2 months ago
The Non-associativity of Polarized Tree-Based Grammars
Abstract. Polarities are used to sanction grammar fragment combination in high level tree-based formalisms such as eXtenssible MetaGrammar (XMG) and polarized unification grammars...
Yael Cohen-Sygal, Shuly Wintner
CGI
1997
IEEE
14 years 27 days ago
The Visorama System: A Functional Overview of a New Virtual Reality Environment
The recent developments in image-based rendering have enabled a representation of virtual environments based on a simulation of panoramas, which we call virtual panoramas. Current...
André Matos, Luiz Velho, Jonas Gomes, Andr&...
AMAST
2008
Springer
13 years 10 months ago
Explaining Verification Conditions
The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs...
Ewen Denney, Bernd Fischer 0002
MVA
2006
13 years 8 months ago
A System for 3D Modeling Frescoed Historical Buildings with Multispectral Texture Information
Abstract This work proposes a system for the automatic construction of multi-spectral three-dimensional (3D) models of architecture. Besides the specific application, which concern...
Nicola Brusco, S. Capeleto, M. Fedel, A. Paviotti,...