4761 search results - page 562 / 953 » Generalizing Boundary Points |
192
click to vote
DCG
2010
15 years 7 months ago
2010
We present a Delaunay refinement algorithm for meshing a piecewise smooth complex in three dimensions. The algorithm protects edges with weighted points to avoid the difficulty po...
154
click to vote
CSDA
2008
15 years 7 months ago
2008
In this paper we use a general procedure for fractional integration and structural breaks at unknown points in time, which allows for different orders of integration and determini...
185
click to vote
AMC
2006
15 years 6 months ago
2006
Focus in the paper is on the definition of linear bilevel programming problems, the existence of optimal solutions and necessary as well as sufficient optimality conditions. In th...
177
click to vote
FAC
2008
15 years 6 months ago
2008
This paper explains how the Alloy model-finding method has been used to check the specification of an electronic purse (also called smart card) system, called the Mondex case study...
169
click to vote
FMSD
2006
15 years 6 months ago
2006
We define a cones and foci proof method, which rephrases the question whether two system specifications are branching bisimilar in terms of proof obligations on relations between ...