Sciweavers

487 search results - page 34 / 98
» A New Approach to Cutting into Finite Element Models
Sort
View
SIAMIS
2008
115views more  SIAMIS 2008»
14 years 9 months ago
Geodesic Evolution Laws---A Level-Set Approach
Motion of curves governed by geometric evolution laws, such as mean curvature flow and surface diffusion, is the basis for many algorithms in image processing. If the images to be ...
Christina Stöcker, Axel Voigt
CONSTRAINTS
2007
89views more  CONSTRAINTS 2007»
14 years 10 months ago
Cardinal: A Finite Sets Constraint Solver
In this paper we present Cardinal, a general finite sets constraint solver just made publicly available in ECLiPSe Prolog, suitable for combinatorial problem solving by exploiting ...
Francisco Azevedo
IRI
2009
IEEE
15 years 4 months ago
An Agent-based Formal Framework for Modeling and Simulating Supply Chains
We propose an open and extensible agent-based formal framework for modeling and simulating supply chains. Since structures and behaviors of supply chains can be very different bas...
Li Tan, Shenghan Xu, Benjamin Meyer, Brock Erwin
APAL
2002
73views more  APAL 2002»
14 years 9 months ago
The sequentially realizable functionals
We consider a notion of sequential functional of finite type, more generous than the familiar notion embodied in Plotkin's language PCF. We study both the "full" an...
John Longley
SGP
2004
15 years 8 days ago
Simplification and Improvement of Tetrahedral Models for Simulation
Most 3D mesh generation techniques require simplification and mesh improvement stages to prepare a tetrahedral model for efficient simulation. We have developed an algorithm that ...
Barbara Cutler, Julie Dorsey, Leonard McMillan