Sciweavers

3575 search results - page 23 / 715
» Modeling Concurrency with Geometry
Sort
View
SGP
2003
14 years 11 months ago
Statistical Point Geometry
We propose a scheme for modeling point sample geometry with statistical analysis. In our scheme we depart from the current schemes that deterministically represent the attributes ...
Aravind Kalaiah, Amitabh Varshney
PCM
2004
Springer
103views Multimedia» more  PCM 2004»
15 years 3 months ago
Spectral Coding of Three-Dimensional Mesh Geometry Information Using Dual Graph
In this paper, we propose a new scheme for the geometry coding of three-dimensional (3-D) mesh models using a dual graph. In order to compress the mesh geometry information, we gen...
Sung-Yeol Kim, Seung-Uk Yoon, Yo-Sung Ho
IJCSA
2007
84views more  IJCSA 2007»
14 years 9 months ago
Real Time Model Checking Using Timed Concurrent State Machines
Timed Concurrent State Machines are an application of Alur’s Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea...
Wiktor B. Daszczuk
CGF
2008
120views more  CGF 2008»
14 years 9 months ago
Online Personalised Non-photorealistic Rendering Technique for 3D Geometry from Incremental Sketching
This paper presents an online personalised non-photorealistic rendering (NPR) technique for 3D models generated from interactively sketched input. This technique has been integrat...
Daychyi Ku, Sheng Feng Qin, David K. Wright, CuiXi...
FCSC
2010
170views more  FCSC 2010»
14 years 7 months ago
Formal verification of concurrent programs with read-write locks
Abstract Read-write locking is an important mechanism to improve concurrent granularity, but it is difficult to reason about the safety of concurrent programs with read-write locks...
Ming Fu, Yu Zhang, Yong Li