Sciweavers

8196 search results - page 409 / 1640
» Computational Modeling and Complexity Science
Sort
View
179
Voted
CAD
2006
Springer
15 years 6 months ago
A sweepline algorithm for Euclidean Voronoi diagram of circles
Presented in this paper is a sweepline algorithm to compute the Voronoi diagram of a set of circles in a two-dimensional Euclidean space. The radii of the circles are non-negative...
Li Jin, Donguk Kim, Lisen Mu, Deok-Soo Kim, Shi-Mi...
GG
2008
Springer
15 years 7 months ago
Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels
Abstract. Triple graph transformation has become an important approach for model transformations. Triple graphs consist of a source, a target and a connection graph. The correspond...
Hartmut Ehrig, Ulrike Prange
GG
2008
Springer
15 years 7 months ago
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation
An important requirement of model transformations is the preservation of the behavior of the original model. A model transformation is semantically correct if for each simulation r...
Hartmut Ehrig, Claudia Ermel
CAD
2002
Springer
15 years 6 months ago
A discrete mechanics model for deformable bodies
This paper describes the theory and implementation of a discrete mechanics model for deformable bodies, incorporating behavior such as motion, collision, deformation etc. The mode...
Johan Jansson, Joris S. M. Vergeest
CVPR
2009
IEEE
17 years 1 months ago
Locally Time-Invariant models of Human Activities using Trajectories on the Grassmanian
Human activity analysis is an important problem in computer vision with applications in surveillance and summarization and indexing of consumer content. Complex human activities...
Pavan Turaga, Rama Chellappa