Sciweavers

3726 search results - page 301 / 746
» A structured definition of the modeling process
Sort
View
WABI
2004
Springer
16 years 23 days ago
A Polynomial-Time Algorithm for the Matching of Crossing Contact-Map Patterns
Abstract. Contact maps are a model to capture the core information in the structure of biological molecules, e.g., proteins. A contact map consists of an ordered set ¡ of elements...
Jens Gramm
ENTCS
2007
114views more  ENTCS 2007»
15 years 7 months ago
Active Evaluation Contexts for Reaction Semantics
In the context of process algebras it is customary to define semantics in the form of a reaction relation supported by a structural congruence relation. Recently process algebras...
Henrik Pilegaard, Flemming Nielson, Hanne Riis Nie...
TOG
2008
92views more  TOG 2008»
15 years 7 months ago
Non-homogeneous resizing of complex models
Resizing of 3D models can be very useful when creating new models or placing models inside different scenes. However, uniform scaling is limited in its applicability while straigh...
Vladislav Kraevoy, Alla Sheffer, Ariel Shamir, Dan...
ASE
2006
114views more  ASE 2006»
15 years 7 months ago
Explicit modeling of semantics associated with composite states in UML statecharts
: UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...
Zhaoxia Hu, Sol M. Shatz
CGF
2004
118views more  CGF 2004»
15 years 7 months ago
Cultural Heritage Preservation Using Constructive Shape Modeling
Issues of digital preservation of shapes and internal structures of historical cultural objects are discussed. An overview of existing approaches to digital preservation related t...
Carl Vilbrandt, Galina Pasko, Alexander A. Pasko, ...