2899 search results - page 325 / 580 » Dynamic Trees in Practice |
115
click to vote
IGPL
2008
15 years 4 months ago
2008
A new version of transition logic is presented. It integrates (dynamic) transitions, which change world states, and classical (static) reasoning, restricted in the paper to Horn l...
116
click to vote
JVCA
2008
15 years 4 months ago
2008
Developing suitable interpolation methods to simulate dynamic motions of continuous materials such as fluids is an important problem. In this paper, we propose a novel method to e...
151
click to vote
ENTCS
2000
15 years 3 months ago
2000
Abstract. Logic programming languages based on linear logic are of both theoretical and practical interest, particulaly because such languages can be seen as providing a logical ba...
114
click to vote
ENTCS
2002
15 years 3 months ago
2002
We present pmlB, a programming language that includes primitive sets and associated operations. The language is equipped with a precise type discipline that statically captures dy...
133
click to vote
EWC
2002
15 years 3 months ago
2002
We present results on a two-step improvement of mesh quality in three-dimensional Delaunay triangulations. The first step refines the triangulation by inserting sinks and eliminate...