Sciweavers

4861 search results - page 268 / 973
» Parsimonious concept modeling
Sort
View
WSCG
2003
165views more  WSCG 2003»
15 years 8 months ago
A Shape Constrained Curve Approximation Method for Styling Surfaces Modeling
The problem of styling surfaces modeling is tackled. An approach based on section curves fairing is chosen. The concept of template curves is developed for approximating profiles ...
Yves Mineur
GVD
2000
131views Database» more  GVD 2000»
15 years 8 months ago
Adaptive Knowledge Management: A Meta-Modeling Approach and its Binding to XML
In this paper we propose a meta-modeling approach to adaptive knowledge management. It extends previous work by introducing an application-specific layer which allows to specify m...
Christian Süß
ENTCS
2008
94views more  ENTCS 2008»
15 years 6 months ago
A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...
Hendrik Tews, Tjark Weber, Marcus Völp
ECEASST
2006
95views more  ECEASST 2006»
15 years 6 months ago
Towards Translating Graph Transformation Approaches by Model Transformations
Abstract. Recently, many researchers are working on semantics preserving model transformation. In the field of graph transformation one can think of translating graph grammars writ...
Frank Hermann, Harmen Kastenberg, Tony Modica
170
Voted
IJWBC
2006
71views more  IJWBC 2006»
15 years 6 months ago
Harnessing ICT to develop community and identity: a model for academic departments
: Universities have been early adopters of Information and Communication Technologies (ICT). However, does availability imply use? How is ICT being used by academic departments? Th...
Clara M. Chu, Jose Rodolfo Hernandez-Carrion